A Simple and Practical Approach to Unit Testing: The JML and JUnit Way
ECOOP '02 Proceedings of the 16th European Conference on Object-Oriented Programming
Information and Software Technology
Using Mutation Analysis for Assessing and Comparing Testing Coverage Criteria
IEEE Transactions on Software Engineering
On the Use of Mutation Faults in Empirical Assessments of Test Case Prioritization Techniques
IEEE Transactions on Software Engineering
Refinement and Test Case Generation in UTP
Electronic Notes in Theoretical Computer Science (ENTCS)
State coverage: a structural test adequacy criterion for behavior checking
Proceedings of the the 6th joint meeting of the European software engineering conference and the ACM SIGSOFT symposium on The foundations of software engineering
State coverage: a structural test adequacy criterion for behavior checking
The 6th Joint Meeting on European software engineering conference and the ACM SIGSOFT symposium on the foundations of software engineering: companion papers
Sufficient mutation operators for measuring test effectiveness
Proceedings of the 30th international conference on Software engineering
Validating MAS simulation models with mutation
Multiagent and Grid Systems - Multi-agent systems for medicine, computational biology, and bioinformatics
The Effectiveness of T-Way Test Data Generation
SAFECOMP '08 Proceedings of the 27th international conference on Computer Safety, Reliability, and Security
On reduced neighborhood mutation analysis using a single mutagenic operator
Proceedings of the 47th Annual Southeast Regional Conference
Information and Software Technology
Information and Software Technology
An intermediate representation approach to reducing test suites for retargeted compilers
Ada-Europe'07 Proceedings of the 12th international conference on Reliable software technologies
From behaviour preservation to behaviour modification: constraint-based mutant generation
Proceedings of the 32nd ACM/IEEE International Conference on Software Engineering - Volume 1
Is operator-based mutant selection superior to random mutant selection?
Proceedings of the 32nd ACM/IEEE International Conference on Software Engineering - Volume 1
Validating UML simulation models with model-level unit tests
Proceedings of the 3rd International ICST Conference on Simulation Tools and Techniques
Towards automating the generation of mutation tests
Proceedings of the 5th Workshop on Automation of Software Test
Data-driven testing methodology for RFID systems
Frontiers of Computer Science in China
A generic approach to run mutation analysis
TAIC PART'10 Proceedings of the 5th international academic and industrial conference on Testing - practice and research techniques
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
A tester-assisted methodology for test redundancy detection
Advances in Software Engineering - Special issue on software test automation
An experimental assessment of module documentation-based testing
Information and Software Technology
Strong higher order mutation-based test data generation
Proceedings of the 19th ACM SIGSOFT symposium and the 13th European conference on Foundations of software engineering
SMutant: a tool for type-sensitive mutation testing in a dynamic language
Proceedings of the 19th ACM SIGSOFT symposium and the 13th European conference on Foundations of software engineering
Journal of Systems and Software
Derivation of a suitable finite test suite for customized probabilistic systems
FORTE'06 Proceedings of the 26th IFIP WG 6.1 international conference on Formal Techniques for Networked and Distributed Systems
Assessing the expressivity of formal specification languages
AMAST'06 Proceedings of the 11th international conference on Algebraic Methodology and Software Technology
Evaluation of test code quality with aspect-oriented mutations
XP'06 Proceedings of the 7th international conference on Extreme Programming and Agile Processes 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
Reduction of test suites using mutation
FASE'12 Proceedings of the 15th international conference on Fundamental Approaches to Software Engineering
Mutation based test case generation via a path selection strategy
Information and Software Technology
Evaluating a data abstraction testing system based on formal specifications
Journal of Systems and Software
Proceedings of the 2012 International Symposium on Software Testing and Analysis
Diversity maximization speedup for fault localization
Proceedings of the 27th IEEE/ACM International Conference on Automated Software Engineering
On the Reuse of TLM Mutation Analysis at RTL
Journal of Electronic Testing: Theory and Applications
Proceedings of the ACM SIGSOFT 20th International Symposium on the Foundations of Software Engineering
On the effects of pair programming on thoroughness and fault-finding effectiveness of unit tests
PROFES'07 Proceedings of the 8th international conference on Product-Focused Software Process Improvement
Science of Computer Programming
Comparing non-adequate test suites using coverage criteria
Proceedings of the 2013 International Symposium on Software Testing and Analysis
Selective mutation testing for concurrent code
Proceedings of the 2013 International Symposium on Software Testing and Analysis
Faster mutation testing inspired by test prioritization and reduction
Proceedings of the 2013 International Symposium on Software Testing and Analysis
A probabilistic analysis method for functional qualification under mutation analysis
DATE '12 Proceedings of the Conference on Design, Automation and Test in Europe
Injecting mechanical faults to localize developer faults for evolving software
Proceedings of the 2013 ACM SIGPLAN international conference on Object oriented programming systems languages & applications
| Hi-index | 0.00 |
if finite input-output specifications are added to the syntax of programs, these specifications can be verified at compile time. Programs which carry adequate tests with them in this way should be resistant to maintenance errors. If the specifications are independent of program details they are easy to give, and unlikely to contain errors in common with the program. Furthermore, certain finite specifications are maximal in that they exercise the control and expression structure of a program as well as any tests can.