Works matching IS 00985589 AND DT 2013 AND VI 39 AND IP 9

Results: 9

Editorial.

Published in:

IEEE Transactions on Software Engineering, 2013, v. 39, n. 9, p. 1187, doi. 10.1109/TSE.2013.41

By:

Nuseibeh, Bashar

Publication type:

Article

OBEY: Optimal Batched Refactoring Plan Execution for Class Responsibility Redistribution.

Published in:

IEEE Transactions on Software Engineering, 2013, v. 39, n. 9, p. 1245, doi. 10.1109/TSE.2013.19

By:

Jiau, Hewijin Christine;
Mar, Lee Wei;
Chen, Jinghong Cox

Publication type:

Article

TACO: Efficient SAT-Based Bounded Verification Using Symmetry Breaking and Tight Bounds.

Published in:

IEEE Transactions on Software Engineering, 2013, v. 39, n. 9, p. 1283, doi. 10.1109/TSE.2013.15

By:

Galeotti, Juan P.;
Rosner, Nicolas;
Lopez Pombo, Carlos G.;
Frias, Marcelo F.

Publication type:

Article

Verifying Protocol Conformance Using Software Model Checking for the Model-Driven Development of Embedded Systems.

Published in:

IEEE Transactions on Software Engineering, 2013, v. 39, n. 9, p. 1307, doi. 10.1109/TSE.2013.14

By:

Moffett, Yann;
Dingel, Juergen;
Beaulieu, Alain

Publication type:

Article

Generating Test Cases for Real-Time Systems Based on Symbolic Models.

Published in:

IEEE Transactions on Software Engineering, 2013, v. 39, n. 9, p. 1216, doi. 10.1109/TSE.2013.13

By:

Andrade, Wilkerson L.;
Machado, Patricia D.L.

Publication type:

Article

Patterns of Knowledge in API Reference Documentation.

Published in:

IEEE Transactions on Software Engineering, 2013, v. 39, n. 9, p. 1264, doi. 10.1109/TSE.2013.12

By:

Maalej, Walid;
Robillard, Martin P.

Publication type:

Article

Data Quality: Some Comments on the NASA Software Defect Datasets.

Published in:

IEEE Transactions on Software Engineering, 2013, v. 39, n. 9, p. 1208, doi. 10.1109/TSE.2013.11

By:

Shepperd, Martin;
Song, Qinbao;
Sun, Zhongbin;
Mair, Carolyn

Publication type:

Article

Model-Based Test Oracle Generation for Automated Unit Testing of Agent Systems.

Published in:

IEEE Transactions on Software Engineering, 2013, v. 39, n. 9, p. 1230, doi. 10.1109/TSE.2013.10

By:

Padgham, Lin;
Zhang, Zhiyong;
Thangarajah, John;
Miller, Tim

Publication type:

Article

Capsule-Based User Interface Modeling for Large-Scale Applications.

Published in:

IEEE Transactions on Software Engineering, 2013, v. 39, n. 9, p. 1190, doi. 10.1109/TSE.2013.8

By:

Milicev, Dragan;
Mijailovic, Zarko

Publication type:

Article