Refinement and Test Case Generation in UTP
Electronic Notes in Theoretical Computer Science (ENTCS)
Towards Mutation Analysis for Lustre Programs
Electronic Notes in Theoretical Computer Science (ENTCS)
Testing techniques in software engineering
Testing techniques in software engineering
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
Connectors as designs: Modeling, refinement and test case generation
Science of Computer Programming
Hi-index | 0.00 |
Mutation Testing for the New Century brings together cutting edge research results in mutation testing from a wide range of researchers. This book provides answers to key questions related to mutation and raises questions yet to be answered. It is an excellent resource for researchers, practitioners, and students of software engineering.