Mark Harman
#43,974
Most Influential Person Now
British computer scientist
Mark Harman 's AcademicInfluence.com Rankings
Mark Harman computer-science Degrees
Computer Science
#2084
World Rank
#2166
Historical Rank
Software Engineering
#56
World Rank
#56
Historical Rank
Database
#592
World Rank
#621
Historical Rank
Download Badge
Computer Science
Why Is Mark Harman Influential?
(Suggest an Edit or Addition)According to Wikipedia, Prof. Mark Harman is a British computer scientist. Since 2010, he has been a professor at University College London and since 2017 he has been at Facebook London. He was founder of the Centre for Research on Evolution Search and Testing initially at King's College London in 2006, latterly at UCL, and was the Director until 2017. Harman has received both of the major research awards for software engineering : the IEEE Harlan D. Mills Award, for "fundamental contributions throughout software engineering, including seminal contributions in establishing search-based software engineering, reigniting research in slicing and testing, and founding genetic improvement"; and the ACM SIGSOFT Outstanding Research Award
Mark Harman 's Published Works
Number of citations in a given year to any of this author's works
Total number of citations to an author for the works they published in a given year. This highlights publication of the most important work(s) by the author
Published Works
- Program slicing (2008) (2462)
- An Analysis and Survey of the Development of Mutation Testing (2011) (1549)
- Regression testing minimization, selection and prioritization: a survey (2012) (1289)
- Genetic and Evolutionary Computation — GECCO 2003 (2003) (869)
- Search Algorithms for Regression Test Case Prioritization (2007) (757)
- Search-based software engineering: Trends, techniques and applications (2012) (703)
- The Current State and Future of Search Based Software Engineering (2007) (679)
- The Oracle Problem in Software Testing: A Survey (2015) (673)
- An orchestrated survey of methodologies for automated software test case generation (2013) (590)
- Machine Learning Testing: Survey, Landscapes and Horizons (2019) (426)
- A Theoretical and Empirical Study of Search-Based Testing: Local, Global, and Hybrid Search (2010) (404)
- Sapienz: multi-objective automated testing for Android applications (2016) (399)
- Pareto efficient multi-objective test case selection (2007) (383)
- Using formal specifications to support testing (2009) (375)
- A Survey of App Store Analysis for Software Engineering (2017) (374)
- Software Module Clustering as a Multi-Objective Search Problem (2011) (367)
- A survey of the use of crowdsourcing in software engineering (2017) (344)
- App store mining and analysis: MSR for app stores (2012) (344)
- Search Based Software Engineering: A Comprehensive Analysis and Review of Trends Techniques and Applications (2009) (313)
- Chapter Six - Mutation Testing Advances: An Analysis and Survey (2019) (288)
- Higher Order Mutation Testing (2009) (275)
- Search Based Software Engineering: Techniques, Taxonomy, Tutorial (2010) (269)
- Testability transformation (2004) (254)
- The multi-objective next release problem (2007) (252)
- Reformulating software engineering as a search problem (2003) (238)
- Using program slicing to assist in the detection of equivalent mutants (1999) (238)
- Pareto optimal search based refactoring at the design level (2007) (237)
- Amorphous program slicing (1997) (227)
- Optimizing Existing Software With Genetic Programming (2015) (213)
- Regression Testing Minimisation, Selection and Prioritisation - A Survey (2009) (213)
- Clustering test cases to achieve effective and scalable prioritisation incorporating expert knowledge (2009) (210)
- Constructing Subtle Faults Using Higher Order Mutation Testing (2008) (207)
- A multiple hill climbing approach to software module clustering (2003) (197)
- Search Based Approaches to Component Selection and Prioritization for the Next Release Problem (2006) (189)
- The plastic surgery hypothesis (2014) (186)
- An overview of program slicing (2001) (182)
- Achievements, Open Problems and Challenges for Search Based Software Testing (2015) (177)
- Trivial Compiler Equivalence: A Large Scale Empirical Study of a Simple, Fast and Effective Equivalent Mutant Detection Technique (2015) (173)
- Formulating software engineering as a search problem (2003) (172)
- Genetic Improvement of Software: A Comprehensive Survey (2018) (171)
- Combining Multi-Objective Search and Constraint Solving for Configuring Large Software Product Lines (2015) (171)
- How to Overcome the Equivalent Mutant Problem and Achieve Tailored Selective Mutation Using Co-evolution (2004) (169)
- A New Representation And Crossover Operator For Search-based Optimization Of Software Modularization (2002) (168)
- MILU: A Customizable, Runtime-Optimized Higher Order Mutation Testing Tool for the Full C Language (2008) (166)
- A multi-objective approach to search-based test data generation (2007) (155)
- Comparing White-Box and Black-Box Test Prioritization (2016) (155)
- A study of equivalent and stubborn mutation operators using human analysis of equivalence (2014) (154)
- Strong higher order mutation-based test data generation (2011) (151)
- Multi Objective Higher Order Mutation Testing with Genetic Programming (2009) (151)
- Searching for better configurations: a rigorous approach to clone evaluation (2013) (149)
- Multi-objective Software Effort Estimation (2016) (147)
- Metrics are fitness functions too (2004) (146)
- Predictive Mutation Testing (2016) (146)
- A survey of empirical results on program slicing (2004) (145)
- Search based software engineering for software product line engineering: a survey and directions for future work (2014) (143)
- Using Genetic Improvement and Code Transplants to Specialise a C++ Program to a Problem Class (2014) (137)
- Evolutionary testing in the presence of loop-assigned flags: a testability transformation approach (2004) (136)
- Using hybrid algorithm for Pareto efficient multi-objective test suite minimisation (2010) (135)
- Using program slicing to simplify testing (1995) (132)
- Automated software transplantation (2015) (131)
- Search Based Software Engineering (2001) (131)
- Search Based Requirements Optimisation: Existing Work and Challenges (2008) (126)
- Testing and verification in service‐oriented architecture: a survey (2013) (125)
- Test prioritization using system models (2005) (124)
- Experimental assessment of software metrics using automated refactoring (2012) (123)
- Search-based techniques applied to optimization of project planning for a massive maintenance project (2005) (122)
- Automated web application testing using search based software engineering (2011) (120)
- A theoretical & empirical analysis of evolutionary testing and hill climbing for structural test data generation (2007) (118)
- A search based approach to fairness analysis in requirement assignments to aid negotiation, mediation and decision making (2009) (117)
- An Empirical Study on Mutation, Statement and Branch Coverage Fault Revelation That Avoids the Unreliable Clean Program Assumption (2017) (117)
- From Start-ups to Scale-ups: Opportunities and Open Problems for Static and Dynamic Program Analysis (2018) (114)
- The App Sampling Problem for App Store Mining (2015) (112)
- Learning Combinatorial Interaction Test Generation Strategies Using Hyperheuristic Search (2015) (108)
- SapFix: Automated End-to-End Repair at Scale (2019) (106)
- An empirical study of the robustness of two module clustering fitness functions (2005) (105)
- The GISMOE challenge: constructing the pareto program surface using genetic programming to find better programs (keynote paper) (2012) (104)
- Evolutionary testing of autonomous software agents (2009) (101)
- Reducing Energy Consumption Using Genetic Improvement (2015) (100)
- Improving Evolutionary Testing By Flag Removal (2002) (99)
- Threats to the validity of mutation-based test assessment (2016) (99)
- Deep Parameter Optimisation (2015) (98)
- The species per path approach to SearchBased test data generation (2006) (97)
- Optimizing for the Number of Tests Generated in Search Based Test Data Generation with an Application to the Oracle Cost Problem (2010) (97)
- Fault localization prioritization: Comparing information-theoretic and coverage-based approaches (2013) (96)
- An empirical study of static program slice size (2007) (96)
- Symbolic search-based testing (2011) (94)
- The impact of input domain reduction on search-based test data generation (2007) (92)
- The role of Artificial Intelligence in Software Engineering (2012) (90)
- Evolving a CUDA kernel from an nVidia template (2010) (89)
- FloPSy - Search-Based Floating Point Constraint Solving for Symbolic Execution (2010) (88)
- Practical Combinatorial Interaction Testing: Empirical Findings on Efficiency and Early Fault Detection (2015) (88)
- Dynamic adaptive Search Based Software Engineering (2012) (86)
- Making the Case for MORTO: Multi Objective Regression Test Optimization (2011) (86)
- Developer Recommendation for Crowdsourced Software Development Tasks (2015) (86)
- Software project planning for robustness and completion time in the presence of uncertainty using multi objective search based software engineering (2009) (85)
- Testing Web Services : A Survey (2011) (85)
- Empirical evaluation of pareto efficient multi-objective regression test case prioritisation (2015) (84)
- The relationship between search based software engineering and predictive modeling (2010) (84)
- Tool-Supported Refactoring of Existing Object-Oriented Code into Aspects (2006) (83)
- Detecting Trivial Mutant Equivalences via Compiler Optimisations (2018) (82)
- Efficiency and early fault detection with lower and higher strength combinatorial interaction testing (2013) (82)
- Evolving transformation sequences using genetic algorithms (2004) (81)
- A Manifesto for Higher Order Mutation Testing (2010) (81)
- Pre/post conditioned slicing (2001) (81)
- A large-scale empirical study of forward and backward static slice size and context sensitivity (2003) (79)
- Automated Test Data Generation for Coverage: Haven't We Solved This Problem Yet? (2009) (78)
- Exact Mean Absolute Error of Baseline Predictor, MARP0 (2016) (78)
- Automated refactoring of object oriented code into aspects (2005) (78)
- A study of the bi-objective next release problem (2010) (78)
- Provably Optimal and Human-Competitive Results in SBSE for Spectrum Based Fault Localisation (2013) (78)
- Software Engineering Meets Evolutionary Computation (2011) (78)
- Causal impact analysis for app releases in google play (2016) (77)
- ORBS: language-independent program slicing (2014) (76)
- Automated Unique Input Output Sequence Generation for Conformance Testing of FSMs (2006) (75)
- Not going to take this anymore: Multi-objective overtime planning for Software Engineering projects (2013) (73)
- “Fairness Analysis” in Requirements Assignments (2008) (71)
- Dependence clusters in source code (2009) (70)
- Cloud engineering is Search Based Software Engineering too (2013) (70)
- Highly Scalable Multi Objective Test Suite Minimisation Using Graphics Cards (2011) (70)
- A Comprehensive Survey of Trends in Oracles for Software Testing (2013) (69)
- Locating dependence clusters and dependence pollution (2005) (68)
- Empirical evaluation of a nesting testability transformation for evolutionary testing (2009) (68)
- Babel Pidgin: SBSE Can Grow and Graft Entirely New Functionality into a Real World System (2014) (67)
- Deploying Search Based Software Engineering with Sapienz at Facebook (2018) (67)
- An analysis of the relationship between conditional entropy and failed error propagation in software testing (2014) (66)
- Input Domain Reduction through Irrelevant Variable Removal and Its Effect on Local, Global, and Hybrid Search-Based Structural Test Data Generation (2012) (66)
- A robust search-based approach to project management in the presence of abandonment, rework, error and uncertainty (2004) (66)
- An empirical investigation into branch coverage for C programs using CUTE and AUSTIN (2010) (66)
- Handling dynamic data structures in search based testing (2008) (65)
- Why Source Code Analysis and Manipulation Will Always be Important (2010) (65)
- An Integer Linear Programming approach to the single and bi-objective Next Release Problem (2015) (64)
- The use of search‐based optimization techniques to schedule and staff software projects: an approach and an empirical study (2011) (64)
- ConSIT: a conditioned program slicer (2000) (64)
- Improving CUDA DNA Analysis Software with Genetic Programming (2015) (64)
- Test data regeneration: generating new test data from existing test data (2012) (64)
- Automated Session Data Repair for Web Application Regression Testing (2008) (64)
- Pricing crowdsourcing-based software development tasks (2013) (64)
- Reducing qualitative human oracle costs associated with automatically generated test data (2010) (62)
- Conditioned slicing supports partition testing (2002) (62)
- Clustering Mobile Apps Based on Mined Textual Features (2016) (62)
- Control Dependence for Extended Finite State Machines (2009) (61)
- Code extraction algorithms which unify slicing and concept assignment (2002) (61)
- Automated Test Data Generation using Search Based Software Engineering (2007) (61)
- Automated test data generation for aspect-oriented programs (2009) (60)
- The relationship between program dependence and mutation analysis (2001) (59)
- 7 th European Conference on Software Maintenance and Reengineering (2003) (58)
- Feature lifecycles as they spread, migrate, remain, and die in App Stores (2015) (58)
- Automatic Testing and Improvement of Machine Translation (2019) (57)
- AUSTIN: An open source tool for search based software testing of C programs (2013) (57)
- Cooperative Co-evolutionary Optimization of Software Project Staff Assignments and Job Scheduling (2011) (56)
- Empirical evaluation of search based requirements interaction management (2013) (55)
- Faster Fault Finding at Google Using Multi Objective Regression Test Optimisation (2011) (54)
- The importance of accounting for real-world labelling when predicting software vulnerabilities (2019) (54)
- Search-Based Software Project Management (2014) (54)
- Search Based Software Engineering for Program Comprehension (2007) (53)
- Computing Unique Input/Output Sequences Using Genetic Algorithms (2003) (52)
- Mutation-aware fault prediction (2016) (52)
- Coverage and fault detection of the output-uniqueness test selection criteria (2014) (52)
- An Empirical Investigation of the Influence of a Type of Side Effects on Program Comprehension (2003) (51)
- Angels and monsters: an empirical investigation of potential test effectiveness and efficiency improvement from strongly subsuming higher order mutation (2014) (50)
- AUSTIN: A Tool for Search Based Software Testing for the C Language and Its Evaluation on Deployed Automotive Systems (2010) (50)
- Crowd intelligence enhances automated mobile testing (2017) (49)
- A Parallel Algorithm for Static Program Slicing (1995) (49)
- Empirical study of optimization techniques for massive slicing (2007) (48)
- Testability Transformation - Program Transformation to Improve Testability (2008) (48)
- KClone: A Proposed Approach to Fast Precise Code Clone Detection (2009) (48)
- App Store Effects on Software Engineering Practices (2019) (47)
- Theoretical foundations of dynamic program slicing (2006) (47)
- Genetic improvement for adaptive software engineering (keynote) (2014) (47)
- A formalisation of the relationship between forms of program slicing (2006) (47)
- Today/future importance analysis (2010) (46)
- Testing conformance of a deterministic implementation against a non-deterministic stream X-machine (2004) (46)
- Search based data sensitivity analysis applied to requirement engineering (2009) (46)
- Open Problems in Testability Transformation (2008) (46)
- A new algorithm for slicing unstructured programs (1998) (46)
- State-based model slicing: A survey (2013) (45)
- No pot of gold at the end of program spectrum rainbow: Greatest risk evaluation formula does not exist (2014) (45)
- Automatically generating realistic test input from web services (2011) (44)
- Genetic and Evolutionary Computation (GECCO) (2003) (44)
- Search Based Software Engineering: Introduction to the Special Issue of the IEEE Transactions on Software Engineering (2010) (44)
- Investigating the relationship between price, rating, and popularity in the Blackberry World App Store (2017) (43)
- Regression test suite prioritization using system models (2012) (42)
- App Store Analysis: Mining App Stores for Relationships between Customer, Business and Technical Characteristics (2014) (42)
- Testability Transformation for Efficient Automated Test Data Search in the Presence of Nesting (2005) (42)
- Human Competitiveness of Genetic Programming in Spectrum-Based Fault Localisation (2017) (42)
- Genetically Improved CUDA C++ Software (2014) (42)
- Improving 3D medical image registration CUDA software with genetic programming (2014) (42)
- Genetic programming for Reverse Engineering (2013) (41)
- Exact scalable sensitivity analysis for the next release problem (2014) (41)
- Why the Virtual Nature of Software Makes It Ideal for Search Based Optimization (2010) (41)
- Search Based Optimization of Requirements Interaction Management (2010) (41)
- An empirical study of amorphous slicing as a program comprehension support tool (2000) (41)
- Robust next release problem: handling uncertainty during optimization (2014) (41)
- Transformed Vargha-Delaney Effect Size (2015) (41)
- An Empirical Study of Meta- and Hyper-Heuristic Search for Multi-Objective Release Planning (2018) (40)
- Less is More: Temporal Fault Predictive Performance over Multiple Hadoop Releases (2014) (40)
- An Empirical Comparison of Combinatorial Testing, Random Testing and Adaptive Random Testing (2020) (40)
- Adaptive Multi-Objective Evolutionary Algorithms for Overtime Planning in Software Projects (2017) (40)
- A post-placement side-effect removal algorithm (2002) (40)
- Using formal methods to support testing (2008) (40)
- Search-based amorphous slicing (2005) (39)
- Test oracle assessment and improvement (2016) (39)
- Estimating the feasibility of transition paths in extended finite state machines (2010) (38)
- Genetic and Evolutionary Computation — GECCO 2003 (2003) (38)
- Constructing multiple unique input/output sequences using metaheuristic optimisation techniques (2005) (38)
- Backward conditioning: a new program specialisation technique and its application to program comprehension (2001) (38)
- Specialising Software for Different Downstream Applications Using Genetic Improvement and Code Transplantation (2018) (38)
- FlagRemover: A testability transformation for transforming loop-assigned flags (2011) (38)
- CONSIT: a fully automated conditioned program slicer (2004) (37)
- Analysis and visualization of predicate dependence on formal parameters and global variables (2004) (37)
- Customer Rating Reactions Can Be Predicted Purely using App Features (2018) (36)
- Applying Genetic Improvement to MiniSAT (2013) (36)
- The Effect of Communication Overhead on Software Maintenance Project Staffing: a Search-Based Approach (2007) (36)
- Data dependence based testability transformation in automated test generation (2005) (36)
- Robotic Testing of Mobile Apps for Truly Black-Box Automation (2017) (35)
- FORTEST: formal methods and testing (2002) (35)
- Grow and Graft a Better CUDA pknotsRG for RNA Pseudoknot Free Energy Calculation (2015) (35)
- Empirical Software Engineering and Verification (2012) (35)
- Comparing the performance of metaheuristics for the analysis of multi-stakeholder tradeoffs in requirements optimisation (2011) (35)
- VADA: a transformation-based system for variable dependence analysis (2002) (34)
- GPGPU test suite minimisation: search based software engineering performance improvement using graphics cards (2013) (34)
- Formal Methods and Testing, An Outcome of the FORTEST Network, Revised Selected Papers (2008) (33)
- Augmenting test suites effectiveness by increasing output diversity (2012) (33)
- Branch-Coverage Testability Transformation for Unstructured Programs (2005) (33)
- Unions of slices are not slices (2003) (33)
- Genetic improvement of GPU software (2017) (32)
- Are developers aware of the architectural impact of their changes? (2017) (32)
- Formalizing executable dynamic and forward slicing (2004) (32)
- The Value of Exact Analysis in Requirements Selection (2017) (31)
- Allowing Overlapping Boundaries in Source Code using a Search Based Approach to Concept Binding (2006) (30)
- Search-Based Techniques for Optimizing Software Project Resource Allocation (2004) (30)
- Approximate Oracles and Synergy in Software Energy Search Spaces (2019) (30)
- A theoretical and empirical study of EFSM dependence (2009) (30)
- 10 th International Software Metrics Symposium (METRICS 2004) (2004) (30)
- Formal methods and testing: an outcome of the FORTEST network (2008) (30)
- "Ignorance and Prejudice" in Software Fairness (2021) (30)
- Model projection: simplifying models in response to restricting the environment (2011) (29)
- A unifying theory of control dependence and its application to arbitrary program structures (2011) (29)
- CROP: Linking Code Reviews to Source Code Changes (2018) (29)
- Slice-based measurement of coupling (1997) (29)
- Search--based approaches to the component selection and prioritization problem (2006) (27)
- Empirical Study on the Efficiency of Search Based Test Generation for EFSM Models (2010) (27)
- Automatically Generating Information from a Z Specification to Support the Classification Tree Method (2003) (27)
- Transition coverage testing for simulink/stateflow models using messy genetic algorithms (2011) (27)
- Side-effect removal transformation (2001) (26)
- An empirical study on dependence clusters for effort-aware fault-proneness prediction (2016) (26)
- ORBS and the limits of static slicing (2015) (26)
- Meta-heuristic Search Algorithms for Regression Test Case Prioritization (2007) (26)
- Leveraging Automated Unit Tests for Unsupervised Code Translation (2021) (26)
- Forward slices are smaller than backward slices (2005) (25)
- Automated Transplantation of Call Graph and Layout Features into Kate (2015) (25)
- Generating feasible input sequences for extended finite state machines (EFSMs) using genetic algorithms (2005) (25)
- A trajectory-based strict semantics for program slicing (2010) (25)
- An Empirical Study of Cohesion and Coupling: Balancing Optimization and Disruption (2018) (25)
- Unifying program slicing and concept assignment for higher‐level executable source code extraction (2005) (24)
- Assessing the impact of global variables on program dependence and dependence clusters (2010) (24)
- Dependence Anti Patterns (2008) (24)
- Testing Conformance to a Quasi-Non-Deterministic Stream X-Machine (2000) (24)
- Testing Web Enabled Simulation at Scale Using Metamorphic Testing (2021) (24)
- Refactoring as Testability Transformation (2011) (23)
- Getting results from search-based approaches to software engineering (2004) (23)
- Building executable union slices using conditioned slicing (2004) (23)
- Memory mutation testing (2017) (22)
- Amorphous Slicing of Extended Finite State Machines (2013) (22)
- Slicing, I/O and the Implicit State (1997) (22)
- Search Based Transformations (2003) (22)
- An empirical study of predicate dependence levels and trends (2003) (21)
- Program comprehension assisted by slicing and transformation (1995) (21)
- Finding the Optimal Balance between Over and Under Approximation of Models Inferred from Execution Logs (2012) (21)
- WES: Agent-based User Interaction Simulation on Real Infrastructure (2020) (21)
- An experimental search-based approach to cohesion metric evaluation (2017) (21)
- Fairea: a model behaviour mutation approach to benchmarking bias mitigation methods (2021) (21)
- Amorphous procedure extraction (2004) (21)
- Testing & Verification In Service-Oriented Architecture : A Survey (2012) (21)
- App store mining and analysis (2015) (21)
- Syntax-Directed Amorphous Slicing (2004) (21)
- Theory and algorithms for slicing unstructured programs (2006) (20)
- Input Sequence Generation for Testing of Communicating Finite State Machines (CFSMs) (2004) (20)
- Using Hybrid Algorithm Using Hybrid Algorithm For Pareto Effcient Multi-Objective Test Suite Minimisation (2010) (20)
- Issues in clone classification for dataflow languages (2010) (20)
- ConSUS: a scalable approach to conditioned slicing (2002) (20)
- Analysis of dynamic memory access using amorphous slicing (1998) (19)
- State aware test case regeneration for improving web application test suite coverage and fault detection (2012) (19)
- Mining App Stores: Extracting Technical, Business and Customer Rating Information for Analysis and Prediction (2013) (19)
- Crawlability metrics for automated web testing (2011) (19)
- Grow and Serve: Growing Django Citation Services Using SBSE (2015) (18)
- Genetically Improving 50000 Lines of C (2012) (18)
- The Impact of Code Review on Architectural Changes (2019) (18)
- A denotational interprocedural program slicer (2002) (18)
- The next 700 slicing criteria (1996) (18)
- Results from a large-scale study of performance optimization techniques for source code analyses based on graph reachability algorithms (2003) (18)
- Inferring Test Models from Kate's Bug Reports Using Multi-objective Search (2015) (17)
- A Survey of Performance Optimization for Mobile Applications (2021) (17)
- 22nd International Conference on Software Maintenance (2006) (17)
- Automated patching techniques (2010) (17)
- Evolutionary testing supported by slicing and transformation (2002) (17)
- Finding Building Blocks for Software Clustering (2003) (17)
- Measuring and Improving Latency to Avoid Test Suite Wear Out (2009) (17)
- The SEMINAL workshop: reformulating software engineering as a metaheuristic search problem (2001) (16)
- Mobile App and App Store Analysis, Testing, and Optimisation (2016) (16)
- ConSUS: a light-weight program conditioner (2005) (16)
- Program simplification as a means of approximating undecidable propositions (1999) (16)
- Genetic Improvement using Higher Order Mutation (2015) (16)
- Special Issue on Program Slicing (1998) (16)
- Software engineering using metaheuristic innovative algorithms: workshop report (2001) (16)
- Identifying 'Linchpin Vertices' That Cause Large Dependence Clusters (2009) (16)
- Improving Web Application Testing using testability measures (2009) (16)
- Are mutants really natural?: a study on how "naturalness" helps mutant selection (2018) (16)
- The Species per Path Approach to Search-Based Software Test Data Generation (2006) (16)
- Heuristics for fault diagnosis when testing from finite state machines (2007) (16)
- The executable experimental template pattern for the systematic comparison of metaheuristics: Extended Abstract (2014) (15)
- Agent-Based Modelling of Stock Markets Using Existing Order Book Data (2012) (15)
- HOMI: Searching Higher Order Mutants for Software Improvement (2016) (15)
- Facebook’s Cyber–Cyber and Cyber–Physical Digital Twins (2021) (15)
- Loop squashing transformations for amorphous slicing (2004) (15)
- Inferring Automatic Test Oracles (2017) (15)
- GUSTT: an amorphous slicing system which combines slicing and transformation (2001) (14)
- Bias Mitigation for Machine Learning Classifiers: A Comprehensive Survey (2022) (14)
- Mutation testing of memory-related operators (2015) (14)
- Static Program Slicing Algorithms are Minimal for Free Liberal Program Schemas (2005) (14)
- Locating dependence structures using search-based slicing (2008) (14)
- An empirical study of the relationship between the concepts expressed in source code and dependence (2008) (14)
- MAAT: a novel ensemble approach to addressing fairness and performance bugs for machine learning software (2022) (14)
- Source code analysis and manipulation (2002) (13)
- Improving Machine Translation Systems via Isotopic Replacement (2022) (13)
- Perturbed Model Validation: A New Framework to Validate Model Relevance (2019) (13)
- Slicing programs in the presence of errors (1996) (13)
- Fairness Testing: A Comprehensive Survey and Analysis of Trends (2022) (13)
- Equivalence of conservative, free, linear program schemas is decidable (2003) (13)
- Evaluating Automatic Program Repair Capabilities to Repair API Misuses (2021) (12)
- Stop-List Slicing (2006) (12)
- Multi-Objective Software Effort Estimation: A Replication Study (2021) (12)
- Observation-Based Slicing (2013) (12)
- Coherent clusters in source code (2014) (12)
- 5 th IEEE International Workshop on Program Comprehension (IWPC'97) (1997) (12)
- FITTEST: A new continuous and automated testing process for future Internet applications (2014) (12)
- A Survey of Constrained Combinatorial Testing (2019) (12)
- Improving test quality using robust unique input/output circuit sequences (UIOCs) (2006) (11)
- Genetic Improvement for Adaptive Software Engineering (2014) (11)
- A formal relationship between program slicing and partial evaluation (2006) (11)
- Equivalence hypothesis testing in experimental software engineering (2014) (11)
- API-Constrained Genetic Improvement (2016) (11)
- A lazy semantics for program slicing (2004) (11)
- Automated generation of state abstraction functions using data invariant inference (2013) (11)
- Seminal software engineering using metaheuristic innovative algorithms (2001) (11)
- Crawlability Metrics for Web Applications (2012) (11)
- Comparative Analysis of Constraint Handling Techniques for Constrained Combinatorial Testing (2019) (11)
- Node coarsening calculi for program slicing (2001) (10)
- FrUITeR: a framework for evaluating UI test reuse (2020) (10)
- A non-standard semantics for program slicing and dependence analysis (2007) (10)
- An Empirical Study of Executable Concept Slice Size (2006) (10)
- Minimal slicing and the relationships between forms of slicing (2005) (10)
- Unifying program slicing and concept assignment for higher-level executable source code extraction: Research Articles (2005) (10)
- Test data augmentation : generating new test data from existing test data Technical Report : TR-0804 (2008) (10)
- Mutation Testing Using Genetic Algorithms: A Co-evolution Approach (2004) (10)
- Cost measures matter for mutation testing study validity (2020) (10)
- Multi-objective Module Clustering for Kate (2015) (9)
- Weakest Precondition for General Recursive Programs Formalized in Coq (2002) (9)
- Automated Search for Good Coverage Criteria: Moving from Code Coverage to Fault Coverage through Search-Based Software Engineering (2016) (9)
- 8 th Working Conference on Reverse Engineering (2001) (9)
- Analysis of Procedure Splitability (2008) (9)
- Genetic and Evolutionary Computation – GECCO 2004 (2004) (9)
- A New Approach to Program Slicing (1994) (9)
- Measurement Challenges for Cyber Cyber Digital Twins: Experiences from the Deployment of Facebook's WW Simulation System (2021) (9)
- Equivalence of linear, free, liberal, structured program schemas is decidable in polynomial time (2007) (9)
- Coherent dependence clusters (2010) (9)
- Search-Based Software Engineering for Maintenance and Reengineering (2006) (9)
- Variable Dependence Analysis Technical Report: TR-10-05 (2010) (8)
- Dynamic adaptive Search Based Software Engineering needs fast approximate metrics (keynote) (2013) (8)
- Using genetic algorithms to search for key stakeholders in large-scale software projects (2012) (8)
- Getting results with Search--Based Software Engineering: Tutorial (2004) (8)
- Testing of future internet applications running in the cloud (2013) (8)
- Benchmarking Genetically Improved BarraCUDA on Epigenetic Methylation NGS datasets and nVidia GPUs (2016) (8)
- Multi objective higher order mutation testing with GP (2009) (8)
- Optimised Realistic Test Input Generation Using Web Services (2012) (8)
- A Study of Bug Resolution Characteristics in Popular Programming Languages (2018) (8)
- Future Internet Testing with FITTEST (2011) (8)
- Learning From Mistakes: Machine Learning Enhanced Human Expert Effort Estimates (2022) (8)
- We Need a Testability Transformation Semantics (2018) (8)
- IEEE Working Conference on Reverse Engineering (WCRE (2002) (8)
- Game-theoretic analysis of development practices: Challenges and opportunities (2020) (7)
- Pidgin Crasher: Searching for Minimised Crashing GUI Event Sequences (2014) (7)
- ACM Symposium on Applied Computing, (SAC'00) (2000) (7)
- Mechanized operational semantics of WSL (2002) (7)
- Regression Test Case Prioritisation for Guava (2015) (7)
- Formal Concept Analysis on Graphics Hardware (2011) (7)
- An Empirical Validation of Oracle Improvement (2021) (7)
- Enhancing Genetic Improvement of Software with Regression Test Selection (2021) (7)
- Software engineering: an ideal set of challenges for evolutionary computation (2013) (7)
- Some challenges for software testing research (invited talk paper) (2019) (7)
- Program Analysis and Test Hypotheses Complement (2000) (7)
- ConSUS: A lightweight program conditioner (2005) (7)
- Why testing autonomous agents is hard and what can be done about it (2010) (7)
- "Digging the Pit of Babel": Retranslating Franz Kafka's Castle (1996) (7)
- Cleaving Together: Program Cohesion with Slices (1997) (6)
- The Assessor's Dilemma: Improving Bug Repair via Empirical Game Theory (2021) (6)
- Eighth IEEE International Working Conference on Source Code Analysis and Manipulation (SCAM 2008), 28-29 September 2008, Beijing, China (2008) (6)
- Multi-objective software performance optimisation at the architecture level using randomised search rules (2021) (6)
- Characterising, Explaining, and Exploiting the Approximate Nature of Static Analysis through Animation (2006) (6)
- Guaranteed inconsistency avoidance during software evolution (2003) (6)
- FlakiMe: Laboratory-Controlled Test Flakiness Impact Assessment. A Case Study on Mutation Testing and Program Repair (2019) (6)
- MuDelta: Delta-Oriented Mutation Testing at Commit Time (2021) (6)
- SBSelector: Search Based Component Selection for Budget Hardware (2015) (6)
- GI4GI: Improving Genetic Improvement Fitness Functions (2015) (6)
- Working together : Formal Methods and Testing (2003) (6)
- OASIs: oracle assessment and improvement tool (2018) (5)
- Improving Evolutionary Testing By Flag Removal (`best at GECCO' award winner) (2002) (5)
- Genetically Improved CUDA kernels for StereoCamera (2014) (5)
- A Comprehensive Empirical Study of Bias Mitigation Methods for Software Fairness (2022) (5)
- Formal Aspects of Computing: Guest Editorial (2006) (5)
- Slicing algorithms are minimal for programs which can be expressed as linear, free, liberal schemas (2005) (5)
- Proceedings of the 2015 10th Joint Meeting on Foundations of Software Engineering (2015) (5)
- Animated Visualisation of Static Analysis: Characterising, Explaining and Exploiting the Approximate Nature of Static Analysis (2006) (5)
- Aspect Oriented Software Development: Towards A Philosophical Basis (2004) (5)
- 10th European Conference on Software Maintenance and Reengineering (CSMR 2006), 22-24 March 2006, Bari, Italy (2006) (5)
- FLINT: Fault Localisation using Information Theory (2011) (5)
- Evaluation of estimation models using the Minimum Interval of Equivalence (2016) (5)
- Applications of linear program schematology in dependence analysis (2004) (4)
- A simultaneous slicing theory and derived program slicer (keynote) (1996) (4)
- Search Based Software Engineering [Guest Editorial] (2017) (4)
- Automated Pointcut Extraction (2004) (4)
- Towards a Maturity Model for Empirical Studies of Software Testing (1999) (4)
- Guest Editorial: Special Issue on Software Maintenance and Evolution (2005) (4)
- Search Based Software Testing for Android (2017) (4)
- Ownership at Large: Open Problems and Challenges in Ownership Management (2020) (4)
- Evaluating Key Statements Analysis (2008) (4)
- Cloud Engineering is Search Based Optimization too (2012) (4)
- Optimised Realistic Test Input Generation (2011) (4)
- Program Slicing Using Functional Networks (4)
- Search Based Testing (keynote) (2006) (4)
- Optimised Realistic Test Input Generation (2011) (4)
- Icpc 2007: 15Th Ieee International Conference on Program Comprehension , Proceedings (2007) (4)
- The FITTEST Tool Suite for Testing Future Internet Applications (2013) (4)
- An interprocedural amorphous slicer for WSL (2002) (4)
- 4 th International Workshop on Source Code Analysis and Manipulation (SCAM 04) (2004) (4)
- Evolutionary Testing: Tutorial (2003) (4)
- PREM: Prestige Network Enhanced Developer-Task Matching for Crowdsourced Software Development (2016) (4)
- Proceedings of the Eighth International Joint Conference on Autonomous Agents and Multiagent Systems (2009) (4)
- Slice-based dynamic memory modelling - a case study (2002) (4)
- Pareto Efficient Multi-Objective Regression Test Suite Prioritisation (2014) (4)
- Search Based Software Engineering (SBSE) (2015) (3)
- Square Kilometer Array project status report (2018) (3)
- Cloning in Max/MSP Patches (2011) (3)
- 1st International workshop on combining modelling and search-based software engineering (CMSBSE 2013) (2013) (3)
- FAUSTA: Scaling Dynamic Analysis with Traffic Generation at WhatsApp (2022) (3)
- Improving the Module Clustering of a C/C++ Editor using a Multi-objective Genetic Algorithm (2015) (3)
- Heuristics for fault diagnosis when testing from finite state machines: Research Articles (2007) (3)
- 12 th International Workshop on Program Comprehension (2004) (3)
- Perturbation Validation: A New Heuristic to Validate Machine Learning Models (2019) (3)
- International Symposium on Software Testing and Analysis, ISSTA '13, Lugano, Switzerland, July 15-20, 2013 (2013) (3)
- GECCO 2002: Proceedings of the Genetic and Evolutionary (2002) (3)
- Projecting functional models of imperative programs (1993) (3)
- Efficient Identification of Linchpin Vertices in Dependence Clusters (2013) (3)
- 10111 Executive Summary - Practical Software Testing: Tool Automation and Human Factors (2010) (3)
- Robert Walser Rediscovered-Stories, Fairy-Tales, Plays, and Critical Responses (1987) (3)
- An alternative characterization of weak order dependence (2010) (3)
- RN / 15 / 07 Causal Impact Analysis Applied to App Releases in Google Play and Windows Phone Store December 16 , 2015 (2015) (3)
- Book Review: Automatic Re-Engineering of Software Using Genetic Programming (2002) (3)
- 3 rd International Workshop on Automated Debugging ( AADEBUG'97 ) (1997) (2)
- Formal methods and testing: outcome of the fortest network on formal methods and testing : revised selected papers (2008) (2)
- An Empirical Study of Cohesion and Coupling : Balancing Optimisation and Disruption Journal Item (2018) (2)
- 13 th Working Conference on Reverse Engineering (WCRE 06) (2006) (2)
- Fitness Landscape of the Triangle Program (2016) (2)
- Generic Software Subgraph Isomorphism (2012) (2)
- Empirical answers to fundamental software engineering problems (panel) (2013) (2)
- 1st International Workshop on Combining Modelling and Search-Based Software Engineering, CMSBSE@ICSE 2013, San Francisco, CA, USA, May 20, 2013 (2013) (2)
- Generating Realistic Test Input Using Web Services 26 July 2011 (2011) (2)
- Introduction to the special issue on Mutation Testing (2015) (2)
- A Conversation with John E. Woods (1994) (2)
- IEEE ICSE International Workshop on Automated Program Analysis, Testing and Verification (2000) (2)
- Reformulating software engineering as a search (2003) (2)
- Search Based Testing (2005) (2)
- An Empirical Comparison of Mutant Selection Assessment Metrics (2019) (2)
- Survey of Slicing Finite State Machine Models (2010) (2)
- Special Issue on Search-Based Software Maintenance (2008) (2)
- A theoretical & empirical znalysis of evolutionary testing and hill climbing for structural test data generation (2007) (2)
- Requirements Engineering: Foundation for Software Quality, 14th International Working Conference, REFSQ 2008, Montpellier, France, June 16-17, 2008, Proceedings (2008) (2)
- Slicing Extended Finite State Machines-TR-0804 ∗ (2008) (2)
- Search Based Software Engineering for Program Comprehension (keynote) (2007) (2)
- FlakiMe: Laboratory-Controlled Test Flakiness Impact Assessment (2022) (2)
- The Role of Translation in German Studies (2008) (1)
- Gecco 2005: Genetic and Evolutionary Computation Conference, Vols 1and 2 (2005) (1)
- A Comprehensive Empirical Study of Bias Mitigation Methods for Machine Learning Classifiers (2022) (1)
- RN / 14 / 12 Life and Death in the App Store : Theory and Analysis of Feature Migration (2014) (1)
- Using Genetic Programming to Model Software (2013) (1)
- SBSE: Introduction and Motivation (2011) (1)
- Overview of TASE 2012 Talk on Search Based Software Engineering (2012) (1)
- Indexing Operators to Extend the Reach of Symbolic Execution (2018) (1)
- RN / 16 / 06 PREM : Prestige Network Enhanced Developer-Task Matching for Crowdsourced Software Development August 9 , 2016 (2016) (1)
- 19 th ICSE, Workshop on Process Modelling and Empirical Studies of Software Evolution (1997) (1)
- Clone Detection for Max/MSP Patch Libraries (2010) (1)
- Model Validation Using Mutated Training Labels: An Exploratory Study (2019) (1)
- Towards the measurement of objects (1996) (1)
- An Empirical Study on Vulnerability Prediction of Open-Source Software Releases (2019) (1)
- Genetic and evolutionary computation - GECCO 2003 : Genetic and Evolutionary Computation Conference, Chicago, IL, USA, July 12-16, 2003 : proceedings (2003) (1)
- Sub-Turing Islands in the Wild (2019) (1)
- 15 th International Conference on Theorem Proving in Higher Order Logics (TPHOLs 2002) (2002) (1)
- The Mating Game (1997) (1)
- A Learning Classiier Systems Bibliography (1)
- Sixth IEEE International Workshop on Source Code Analysis and Manipulation (SCAM 2006), 27-29 September 2006, Philadelphia, Pennsylvania, USA (2006) (1)
- Program Slicing using Functional Networks(Concurrency Theory and Applications '96) (1997) (1)
- Scaling Genetic Improvement and Automated Program Repair (2022) (1)
- Evolutionary testing of autonomous software agents (2011) (1)
- Non-Recursive Beam Search on GPU for Formal Concept Analysis (2011) (1)
- Equivalence of conservative, free, linear programs is decidable (2003) (1)
- Programming Languages for Statistical Computation (1990) (1)
- Testability Transformation : Program Transformation to Improve Testability An Overview of Recent Results (2008) (1)
- Functional models of procedural programs (1992) (1)
- An Empirical Study on Failed Error Propagation in Java Programs with Real Faults (2020) (1)
- Robert Walser rediscovered : stories, fairy-tale plays, and critical responses (1988) (1)
- Joyce and Kafka (1993) (1)
- Equivalence hypothesis testing in experimental software engineering (2013) (0)
- Genetic and Evolutionary Computation Conference (2006) (0)
- Editorial: Software testing in the United Kingdom (2004) (0)
- Practical Subprogram Verification: AnApproach Which Uses Slicing, Metrics AndAxiomatic Verification (1970) (0)
- 05451 Executive Summary -- Beyond Program Slicing Dagstuhl Seminar (2005) (0)
- 10111 Abstracts Collection - Practical Software Testing : Tool Automation and Human Factors (2010) (0)
- Maintaining WS-BPEL Using Aspects (2009) (0)
- Test Data Generation For Event Sequence Graph (2007) (0)
- A GAELIC BLACKBIRD IN THE SHADOW OF LANGUAGE (2006) (0)
- Generating realistic inputs using web services (2011) (0)
- Translating Ireland: Translation, Languages, Cultures. by Michael Cronin (2000) (0)
- Message from the SEIP Chairs of ICSE 2022 (2019) (0)
- Software & Systems Quality Conference (SQS-UK 2006, industry conference) (2006) (0)
- Message from the Doctoral Symposium Chairs (2011) (0)
- An Analysis of the Relationship between Information Squeeziness and Failed Error Propagation in Software Testing 8 October 2013 (2013) (0)
- Proceedings of the International Symposium on Software Testing and Analysis, ISSTA 2013 (2013) (0)
- Multi-objective Module Clustering for Kate 3 src session (2016) (0)
- Keeping Mutation Test Suites Consistent and Relevant with Long-Standing Mutants (2022) (0)
- International Conference on Software Process and Product Measurement (Mensura 2006) (2006) (0)
- Guest Editorial (2006) (0)
- Improving Source Code with Genetic Programming (2014) (0)
- 2 nd International Workshop on Automation of Software Test (AST 07) (2007) (0)
- MSc Individual Project C Slicer Project Report (0)
- Astrenet Aspect Analysis workshop 2006 (2006) (0)
- EMSE special issue from ICSM and Metrics (2006) (0)
- Empirical Study of Different Algorithms for Search Based Slicing (2006) (0)
- Special Issue on Maintenance and Metrics (2006) (0)
- GPGPU test suite minimisation: search based software engineering performance improvement using graphics cards (2013) (0)
- Selected papers from the fourth Source Code Analysis and Manipulation (SCAM 2004) Workshop (2006) (0)
- ACM Symposium on the Foundations of Software Engineering (FSE '07) (2007) (0)
- Theoretical Foundations of Dyamic Program Slicing (2006) (0)
- LaTeX: Typesetting as a Programming Language (1997) (0)
- Artifact for Enhancing Genetic Improvement of Software with Regression Test Selection (2021) (0)
- 9 th IEEE International Workshop on Program Comprehension (2001) (0)
- 3rd International Workshop on Formal Approaches to Testing of Software (FATES 2003) (2003) (0)
- Reducing Oracle Cost in Search Based Test Data Generation (2009) (0)
- Testing in black and white (1998) (0)
- Theoretical analysis of GP-evolved risk evaluation formulas for Spectrum Based Fault Localisation (2013) (0)
- First Course in C: A Gentle Introduction (1997) (0)
- Trading Pre ision for Speed in Sli ingSebastian (2007) (0)
- Project Estimation: How long is this going to take? (1998) (0)
- FORTEST: Formal Methods and Testing (joint panel paper) (2002) (0)
- Automated Regression Testing of Web Applications Project Report (2005) (0)
- Generalising Control Dependence (2010) (0)
- Formal concept analysis — mathematical foundations Bernhard Ganter and Rudolf Wille Springer‐Verlag, 1999 ISBN: 3‐540‐62771‐5 284 pages Price: UK £22.50, US $39.95 Soft cover (2000) (0)
- Approaching K.'s Castle (1997) (0)
- Executive Summary: Da gstuhl Seminar 10111 on Practical Software Testing: Tool Automation and Human Factors March 14-19, 2010 (2010) (0)
- Introduction to the Special Issue on ISSTA 2013 (2015) (0)
- Genetic and Evolutionary Computation - GECCO 2004, Genetic and Evolutionary Computation Conference, Seattle, WA, USA, June 26-30, 2004, Proceedings, Part I (2004) (0)
- Genetic improvement of GPU software (2016) (0)
- 05451 Abstracts Collection -- Beyond Program Slicing (2005) (0)
- 15 th International Conference on Program Comprehension (ICPC 07) (2007) (0)
- The SBSE Approach to Automated Optimization of Verification and Testing (2009) (0)
- Program Simpli ation as a Means of Approximating Unde idable Propositions (2019) (0)
- Simulation-Driven Automated End-to-End Test and Oracle Inference (2023) (0)
- Implementation of Testability Transformation for Loop Assigned Flags (2005) (0)
- Workshop on Computational Science in Software Engineering (CSSE 2006), LNCS 3994. (2006) (0)
- The German Joyce by Robert K. Weninger (review) (2014) (0)
- Carving up bugs (1996) (0)
- Testing Techniques: Advanced Techniques (1998) (0)
- Robert Walser: Writing On The Periphery (2008) (0)
- Guest Editorial for the Special Issue on Model‐Based Testing (2012) (0)
- Foreword to the invited impact paper on automatic software repair (2013) (0)
- Using A Functional Language To Teach Elements Of Formal Methods (1970) (0)
- Maintaining WS-BPEL Workflows Using Aspects (2009) (0)
- Part B 1 ) 1 ERC Advanced Grant 2016 ( public version of funded proposal ) Evolving Program Improvement Collaborators EPIC (2018) (0)
- Proceedings of the 1st International Workshop on Combining Modelling and Search-Based Software Engineering (2013) (0)
- A message from the TAIC PART 2007 and mutation 2007 general chair (2007) (0)
- 3 rd International Conference of B and Z Users (ZB2003) (2003) (0)
- Robotic Mobile Testing for Truly Black Box Automation (2017) (0)
- The Walk by Robert Walser (1992) (0)
- Search Based Optimization of Requirements Interaction Management 29 April 2011 (2011) (0)
- Borges Translates Joyce Who Translates Himself (2022) (0)
- Guest Editorial (2007) (0)
- Editorial: Software testing in the United Kingdom: Editorials (2004) (0)
- Early Test Feedback by Test Prioritization (2010) (0)
- Special Issue of papers from UK Testing Workshop (2004) (0)
- RN / 12 / 03 Evolving Human Competitive Spectra-Based Fault Localisation Techniques 08 / 05 / 2012 (2013) (0)
- Sifting Through the Wreckage (1999) (0)
- A Simultaneous Slicing Theory and Derived Program Slicer (invited paper) (1996) (0)
- 1 st Workshop on Analysis, Slicing, and Transformation (AST 2001) (2001) (0)
- Introduction (2004) (0)
- 25 th IEEE International Conference and Software Engineering (ICSE 2003) (2003) (0)
- App store mining and analysis (keynote) (2015) (0)
- Using An Interpreter To Teach IntroductoryProgramming (1970) (0)
- Special Issue of extended papers from SCAM'03 workshop (2004) (0)
- Evolutionary algorithms for software testing in Facebook (2018) (0)
- DIY Software Agents (1997) (0)
- 14th Annual Psychology of Programming Workshop (PPIG) (2002) (0)
- International Conference on Communications Technology (ICCT 2003) (2003) (0)
- Proceedings of the 2013 International Symposium on Software Testing and Analysis (2013) (0)
- 23 rd International Confernece on Software Engineering (ICSE 2001) (2001) (0)
- Software Engineering (2001) (0)
- Executive Summary of the Beyond Program Slicing Dagstuhl Seminar (2006) (0)
- Project project: Tools for program analysis and comprehension (1995) (0)
- Program Transformation: New Programs for Old (1997) (0)
- Special Issue on Formal Approaches to Software Testing (2006) (0)
- Proceedings of the 9th International Workshop on Search-Based Software Testing (2014) (0)
- Comprehension Assisted by Slicing and Transformation (1997) (0)
- More Borgesian than Borges?: Joyce, Borges, and Translation (2019) (0)
- An experimental search-based approach to cohesion metric evaluation (2016) (0)
- Green Henry by Gottfried Keller (1992) (0)
- Automated Evolutionary Test Data Generation with Domain Reduction for Aspect-Oriented Programs (2007) (0)
- 11 th IEEE Working Conference on Reverse Engineering (2004) (0)
- 26 th IEEE Annual Computer Software and Applications Conference (COMPSAC 2002) (2002) (0)
- Genetic Algorithms: Growing Your Own Code (1997) (0)
- Side-Effects Considered Harmful (but Rendered Harmless) (2002) (0)
- Software Engineering Experts' Panel: The Status and Future of SBSE in the Software Engineering Community (2009) (0)
- 05451 Abstracts Collection Beyond Program Slicing Dagstuhl Seminar (2006) (0)
- 26 th IEEE International Conference and Software Engineering (ICSE 2004) (2004) (0)
- Foreword to the invited impact paper on automatic software repair (2013) (0)
- Ownership at Large50 (2020) (0)
- From Chaos to Classes by Daniel Duffy, McGraw Hill, 1995, ISBN: 0-07-709118-3, 365pp, price: £29.95 (1999) (0)
- Appreciation to Empirical Software Engineering Reviewers of 2017 (2018) (0)
- A Piece of Cake: Slicing as a debugging technique (1996) (0)
- TAIC PART 2007 and Mutation 2007 special issue editorial (2009) (0)
- Editorial for special issue of STVR on software testing, verification, and validation – volume 2 (extended selected papers from ICST 2011) (2013) (0)
- End of a Mission: Kafka's Search for Truth in His Last Stories (1993) (0)
- Editorial: Testing practice and research (2008) (0)
- Workshop Introduction Astrenet Aspect Analysis (2006) (0)
- Beyond Program Slicing, 06.11. - 11.11.2005 (2006) (0)
- Software testing in the United Kingdom (2004) (0)
- Using Program Sli ing to Assist in the Dete tion of EquivalentMutantsRob Hierons and (1999) (0)
- Formal verification of communication protocol using type theory (2003) (0)
- Source Code Analysis and Manipulation - Introduction (2004) (0)
- Editorial for special issue of STVR on software testing, verification, and validation ‐ volume 1 (extended selected papers from ICST 2011) (2013) (0)
- The Long Corridors of the Women's Dormitory (1999) (0)
- How Small is a bit?: The uncertain world of Quantum Computing (1999) (0)
This paper list is powered by the following services:
Other Resources About Mark Harman
What Schools Are Affiliated With Mark Harman ?
Mark Harman is affiliated with the following schools:
