Amanote Research
Register
Sign In
Discover open access scientific publications
Search, annotate, share and cite publications
Publications by Mark Harman
Dynamic Adaptive Search Based Software Engineering
An Empirical Comparison of Mutant Selection Assessment Metrics
Trivial Compiler Equivalence: A Large Scale Empirical Study of a Simple, Fast and Effective Equivalent Mutant Detection Technique
Empirical Evaluation of Pareto Efficient Multi-Objective Regression Test Case Prioritisation
An Analysis of the Relationship Between Conditional Entropy and Failed Error Propagation in Software Testing
Learning Combinatorial Interaction Test Generation Strategies Using Hyperheuristic Search
ConSUS: A Light-Weight Program Conditioner
Journal of Systems and Software
Hardware
Information Systems
Architecture
Software
Weakest Precondition for General Recursive Programs Formalized in Coq
Lecture Notes in Computer Science
Computer Science
Theoretical Computer Science
A Theoretical and Empirical Study of EFSM Dependence
Testability Transformation – Program Transformation to Improve Testability
‹
1
2
3
›
