CONVERSE: a family-oriented software development process for engine controllers
Systems engineering for business process change
Empirical Software Engineering
Test Case Generation by OCL Mutation and Constraint Solving
QSIC '05 Proceedings of the Fifth International Conference on Quality Software
Refinement and Test Case Generation in UTP
Electronic Notes in Theoretical Computer Science (ENTCS)
Improving Fault-based Conformance Testing
Electronic Notes in Theoretical Computer Science (ENTCS)
Testing techniques in software engineering
Testing techniques in software engineering
UML in action: a two-layered interpretation for testing
ACM SIGSOFT Software Engineering Notes
Model-based mutation testing of hybrid systems
FMCO'09 Proceedings of the 8th international conference on Formal methods for components and objects
From faults via test purposes to test cases: on the fault-based testing of concurrent systems
FASE'06 Proceedings of the 9th international conference on Fundamental Approaches to Software Engineering
Using regular grammars for event-based testing
CIAA'13 Proceedings of the 18th international conference on Implementation and Application of Automata
| Hi-index | 0.00 |