Connecting you to content on EBSCOhost

Works matching IS 00985589 AND DT 2014 AND VI 40 AND IP 12

Results: 5

1

Construction and Validation of an Instrument for Measuring Programming Skill.

Published in:

IEEE Transactions on Software Engineering, 2014, v. 40, n. 12, p. 1163, doi. 10.1109/TSE.2014.2348997

By:

Bergersen, Gunnar R.;
Sjoberg, Dag I.K.;
Dyba, Tore

Publication type:

Article

2

Making CEGAR More Efficient in Software Model Checking.

Published in:

IEEE Transactions on Software Engineering, 2014, v. 40, n. 12, p. 1206, doi. 10.1109/TSE.2014.2357442

By:

Tian, Cong;
Duan, Zhenhua;
Duan, Zhao

Publication type:

Article

3

Model-Transformation Design Patterns.

Published in:

IEEE Transactions on Software Engineering, 2014, v. 40, n. 12, p. 1224, doi. 10.1109/TSE.2014.2354344

By:

Lano, Kevin;
Kolahdouz-Rahimi, Shekoufeh

Publication type:

Article

4

Input-Sensitive Profiling.

Published in:

IEEE Transactions on Software Engineering, 2014, v. 40, n. 12, p. 1185, doi. 10.1109/TSE.2014.2339825

By:

Coppa, Emilio;
Demetrescu, Camil;
Finocchi, Irene

Publication type:

Article

5

An Empirical Methodology to Evaluate Vulnerability Discovery Models.

Published in:

IEEE Transactions on Software Engineering, 2014, v. 40, n. 12, p. 1147, doi. 10.1109/TSE.2014.2354037

By:

Massacci, Fabio;
Nguyen, Viet Hung

Publication type:

Article