Works matching IS 00985589 AND DT 2014 AND VI 40 AND IP 7
Results: 5
Bypassing the Combinatorial Explosion: Using Similarity to Generate and Prioritize T-Wise Test Configurations for Software Product Lines.
- Published in:
- IEEE Transactions on Software Engineering, 2014, v. 40, n. 7, p. 650, doi. 10.1109/TSE.2014.2327020
- By:
- Publication type:
- Article
<sc>SymbexNet</sc>: Testing Network Protocol Implementations with Symbolic Execution and Rule-Based Specifications.
- Published in:
- IEEE Transactions on Software Engineering, 2014, v. 40, n. 7, p. 695, doi. 10.1109/TSE.2014.2323977
- By:
- Publication type:
- Article
An Empirical Study of RefactoringChallenges and Benefits at Microsoft.
- Published in:
- IEEE Transactions on Software Engineering, 2014, v. 40, n. 7, p. 633, doi. 10.1109/TSE.2014.2318734
- By:
- Publication type:
- Article
Symbolic Crosschecking of Data-Parallel Floating-Point Code.
- Published in:
- IEEE Transactions on Software Engineering, 2014, v. 40, n. 7, p. 710, doi. 10.1109/TSE.2013.2297120
- By:
- Publication type:
- Article
Methodbook: Recommending Move Method Refactorings via Relational Topic Models.
- Published in:
- IEEE Transactions on Software Engineering, 2014, v. 40, n. 7, p. 671, doi. 10.1109/TSE.2013.60
- By:
- Publication type:
- Article