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:
- 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:
- 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:
- 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:
- 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:
- 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:
- 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:
- 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:
- 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:
- Publication type:
- Article