Search results for "Mark Harman"

Hits ?▲	Authors	Title	Venue	Year	Link	Author keywords
1	Phil McMinn, Mark Harman, Kiran Lakhotia, Youssef Hassoun, Joachim Wegener	Input Domain Reduction through Irrelevant Variable Removal and Its Effect on Local, Global, and Hybrid Search-Based Structural Test Data Generation.	IEEE Trans. Software Eng.	2012	DBLP DOI BibTeX RDF
1	Shin Yoo, Mark Harman	Regression testing minimization, selection and prioritization: a survey.	Softw. Test., Verif. Reliab.	2012	DBLP DOI BibTeX RDF
1	Shin Yoo, Mark Harman	Test data regeneration: generating new test data from existing test data.	Softw. Test., Verif. Reliab.	2012	DBLP DOI BibTeX RDF
1	Cu D. Nguyen, Simon Miles, Anna Perini, Paolo Tonella, Mark Harman, Michael Luck	Evolutionary testing of autonomous software agents.	Autonomous Agents and Multi-Agent Systems	2012	DBLP DOI BibTeX RDF
1	Yue Jia, Mark Harman	An Analysis and Survey of the Development of Mutation Testing.	IEEE Trans. Software Eng.	2011	DBLP DOI BibTeX RDF	survey, Mutation testing
1	Kata Praditwong, Mark Harman, Xin Yao	Software Module Clustering as a Multi-Objective Search Problem.	IEEE Trans. Software Eng.	2011	DBLP DOI BibTeX RDF
1	Sebastian Danicic, Richard W. Barraclough, Mark Harman, John Howroyd, Ákos Kiss, Michael R. Laurence	A unifying theory of control dependence and its application to arbitrary program structures.	Theor. Comput. Sci.	2011	DBLP DOI BibTeX RDF
1	Juan José Durillo, Yuanyuan Zhang, Enrique Alba, Mark Harman, Antonio J. Nebro	A study of the bi-objective next release problem.	Empirical Software Engineering	2011	DBLP DOI BibTeX RDF
1	Massimiliano Di Penta, Mark Harman, Giuliano Antoniol	The use of search-based optimization techniques to schedule and staff software projects: an approach and an empirical study.	Softw., Pract. Exper.	2011	DBLP DOI BibTeX RDF
1	David Binkley, Mark Harman, Kiran Lakhotia	FlagRemover: A testability transformation for transforming loop-assigned flags.	ACM Trans. Softw. Eng. Methodol.	2011	DBLP DOI BibTeX RDF
1	Mark Harman	Software Engineering Meets Evolutionary Computation.	IEEE Computer	2011	DBLP DOI BibTeX RDF
1	Yuanyuan Zhang, Mark Harman, Anthony Finkelstein, S. Afshin Mansouri	Comparing the performance of metaheuristics for the analysis of multi-stakeholder tradeoffs in requirements optimisation.	Information & Software Technology	2011	DBLP DOI BibTeX RDF
1	Alessandro Marchetto, Roberto Tiella, Paolo Tonella, Nadia Alshahwan, Mark Harman	Crawlability metrics for automated web testing.	STTT	2011	DBLP DOI BibTeX RDF
1	Jungsup Oh, Mark Harman, Shin Yoo	Transition coverage testing for simulink/stateflow models using messy genetic algorithms.	GECCO	2011	DBLP DOI BibTeX RDF
1	Mustafa Bozkurt, Mark Harman	Automatically generating realistic test input from web services.	SOSE	2011	DBLP DOI BibTeX RDF
1	Arthur I. Baars, Mark Harman, Youssef Hassoun, Kiran Lakhotia, Phil McMinn, Paolo Tonella, Tanja E. J. Vos	Symbolic search-based testing.	ASE	2011	DBLP DOI BibTeX RDF
1	Nadia Alshahwan, Mark Harman	Automated web application testing using search based software engineering.	ASE	2011	DBLP DOI BibTeX RDF
1	Mark Harman	SBSE: Introduction and Motivation.	SSBSE	2011	DBLP DOI BibTeX RDF
1	Shin Yoo, Mark Harman, Shmuel Ur	Highly Scalable Multi Objective Test Suite Minimisation Using Graphics Cards.	SSBSE	2011	DBLP DOI BibTeX RDF
1	Jian Ren, Mark Harman, Massimiliano Di Penta	Cooperative Co-evolutionary Optimization of Software Project Staff Assignments and Job Scheduling.	SSBSE	2011	DBLP DOI BibTeX RDF
1	Kelly Androutsopoulos, David Binkley, David Clark, Nicolas Gold, Mark Harman, Kevin Lano, Zheng Li	Model projection: simplifying models in response to restricting the environment.	ICSE	2011	DBLP DOI BibTeX RDF
1	Mark Harman, Yue Jia, William B. Langdon	Strong higher order mutation-based test data generation.	SIGSOFT FSE	2011	DBLP DOI BibTeX RDF
1	Tanja E. J. Vos, Paolo Tonella, Joachim Wegener, Mark Harman, Wishnu Prasetya, Elisa Puoskari, Yarden Nir-Buchbinder	Future Internet Testing with FITTEST.	CSMR	2011	DBLP DOI BibTeX RDF
1	Mark Harman, Phil McMinn	A Theoretical and Empirical Study of Search-Based Testing: Local, Global, and Hybrid Search.	IEEE Trans. Software Eng.	2010	DBLP DOI BibTeX RDF	Royal Road, control methods and search, Genetic Algorithms, performance, algorithms, artificial intelligence, measurement, theory, experimentation, problem solving, testing tools, Hill Climbing, testing and debugging, Evolutionary Testing, heuristic methods, search-based software engineering, schema theory, Automated test data generation, search-based testing
1	Mark Harman, S. Afshin Mansouri	Search Based Software Engineering: Introduction to the Special Issue of the IEEE Transactions on Software Engineering.	IEEE Trans. Software Eng.	2010	DBLP DOI BibTeX RDF
1	Torben Amtoft, Kelly Androutsopoulos, David Clark, Mark Harman, Zheng Li	An alternative characterization of weak order dependence.	Inf. Process. Lett.	2010	DBLP DOI BibTeX RDF
1	Karnig Derderian, Robert M. Hierons, Mark Harman, Qiang Guo	Estimating the feasibility of transition paths in extended finite state machines.	Autom. Softw. Eng.	2010	DBLP DOI BibTeX RDF
1	Richard W. Barraclough, David Binkley, Sebastian Danicic, Mark Harman, Robert M. Hierons, Ákos Kiss, Mike Laurence, Lahcen Ouarbya	A trajectory-based strict semantics for program slicing.	Theor. Comput. Sci.	2010	DBLP DOI BibTeX RDF
1	William B. Langdon, Mark Harman, Yue Jia	Efficient multi-objective higher order mutation testing with genetic programming.	Journal of Systems and Software	2010	DBLP DOI BibTeX RDF
1	Kiran Lakhotia, Phil McMinn, Mark Harman	An empirical investigation into branch coverage for C programs using CUTE and AUSTIN.	Journal of Systems and Software	2010	DBLP DOI BibTeX RDF
1	David Binkley, Mark Harman, Youssef Hassoun, Syed S. Islam, Zheng Li	Assessing the impact of global variables on program dependence and dependence clusters.	Journal of Systems and Software	2010	DBLP DOI BibTeX RDF
1	Shin Yoo, Mark Harman	Using hybrid algorithm for Pareto efficient multi-objective test suite minimisation.	Journal of Systems and Software	2010	DBLP DOI BibTeX RDF
1	Mark Harman	Automated patching techniques: the fix is in: technical perspective.	Commun. ACM	2010	DBLP DOI BibTeX RDF
1	Mark Harman	Why Source Code Analysis and Manipulation Will Always be Important.	SCAM	2010	DBLP DOI BibTeX RDF
1	Ruilian Zhao, Mark Harman, Zheng Li	Empirical Study on the Efficiency of Search Based Test Generation for EFSM Models.	ICST Workshops	2010	DBLP DOI BibTeX RDF
1	Mark Harman, Sung Gon Kim, Kiran Lakhotia, Phil McMinn, Shin Yoo	Optimizing for the Number of Tests Generated in Search Based Test Data Generation with an Application to the Oracle Cost Problem.	ICST Workshops	2010	DBLP DOI BibTeX RDF
1	Mark Harman, Yue Jia, William B. Langdon	A Manifesto for Higher Order Mutation Testing.	ICST Workshops	2010	DBLP DOI BibTeX RDF
1	Yuanyuan Zhang, Enrique Alba, Juan José Durillo, Sigrid Eldh, Mark Harman	Today/future importance analysis.	GECCO	2010	DBLP DOI BibTeX RDF	today/future, pareto optimality, multi-objective genetic algorithms
1	Mark Harman	The relationship between search based software engineering and predictive modeling.	PROMISE	2010	DBLP DOI BibTeX RDF
1	William B. Langdon, Mark Harman	Evolving a CUDA kernel from an nVidia template.	IEEE Congress on Evolutionary Computation	2010	DBLP DOI BibTeX RDF
1	Kiran Lakhotia, Nikolai Tillmann, Mark Harman, Jonathan de Halleux	FloPSy - Search-Based Floating Point Constraint Solving for Symbolic Execution.	ICTSS	2010	DBLP DOI BibTeX RDF
1	Mark Harman, Phil McMinn, Jerffeson Teixeira de Souza, Shin Yoo	Search Based Software Engineering: Techniques, Taxonomy, Tutorial.	LASER Summer School	2010	DBLP DOI BibTeX RDF
1	Mark Harman	Why the Virtual Nature of Software Makes It Ideal for Search Based Optimization.	FASE	2010	DBLP DOI BibTeX RDF
1	Syed S. Islam, Jens Krinke, David Binkley, Mark Harman	Coherent dependence clusters.	PASTE	2010	DBLP DOI BibTeX RDF	clustering, dependence, program comprehension, program slicing
1	Nicolas Gold, Jens Krinke, Mark Harman, David Binkley	Issues in clone classification for dataflow languages.	IWSC	2010	DBLP DOI BibTeX RDF
1	Mark Harman, Zheng Li, Phil McMinn, Jeff Offutt, John A. Clark	TAIC PART 2007 and Mutation 2007 special issue editorial.	Journal of Systems and Software	2009	DBLP DOI BibTeX RDF
1	Phil McMinn, David Binkley, Mark Harman	Empirical evaluation of a nesting testability transformation for evolutionary testing.	ACM Trans. Softw. Eng. Methodol.	2009	DBLP DOI BibTeX RDF	testability transformation, test data generation, Evolutionary testing, search-based software engineering
1	Mark Harman, David Binkley, Keith Gallagher, Nicolas Gold, Jens Krinke	Dependence clusters in source code.	ACM Trans. Program. Lang. Syst.	2009	DBLP DOI BibTeX RDF
1	Anthony Finkelstein, Mark Harman, S. Afshin Mansouri, Jian Ren, Yuanyuan Zhang	A search based approach to fairness analysis in requirement assignments to aid negotiation, mediation and decision making.	Requir. Eng.	2009	DBLP DOI BibTeX RDF	Fairness analysis, Requirements assignment, Decision making, Pareto optimality, Multi-objective genetic algorithms
1	Robert M. Hierons, Kirill Bogdanov, Jonathan P. Bowen, Rance Cleaveland, John Derrick, Jeremy Dick, Marian Gheorghe, Mark Harman, Kalpesh Kapoor, Paul Krause, Gerald Lüttgen, Anthony J. H. Simons, Sergiy A. Vilkomir, Martin R. Woodward, Hussein Zedan	Using formal specifications to support testing.	ACM Comput. Surv.	2009	DBLP DOI BibTeX RDF	formal methods, Software testing
1	Yue Jia, Mark Harman	Higher Order Mutation Testing.	Information & Software Technology	2009	DBLP DOI BibTeX RDF
1	David Binkley, Mark Harman	Identifying 'Linchpin Vertices' That Cause Large Dependence Clusters.	SCAM	2009	DBLP DOI BibTeX RDF	Dependence Cluster
1	Mark Harman, Jens Krinke, Jian Ren, Shin Yoo	Search based data sensitivity analysis applied to requirement engineering.	GECCO	2009	DBLP DOI BibTeX RDF	data sensitivity analysis, the next release problem, empirical study, pareto optimality, multi-objective genetic algorithms, multi-objective optimisation
1	Stefan Gueorguiev, Mark Harman, Giuliano Antoniol	Software project planning for robustness and completion time in the presence of uncertainty using multi objective search based software engineering.	GECCO	2009	DBLP DOI BibTeX RDF	software engineering management, pareto optimality, project planning
1	William B. Langdon, Mark Harman, Yue Jia	Multi objective higher order mutation testing with GP.	GECCO	2009	DBLP DOI BibTeX RDF	TCAS, higher order mutation, schedule, genetic programming, pareto optimality, mutation testing, triangle
1	Shin Yoo, Mark Harman, Paolo Tonella, Angelo Susi	Clustering test cases to achieve effective and scalable prioritisation incorporating expert knowledge.	ISSTA	2009	DBLP DOI BibTeX RDF	ahp, test case prioritisation, clustering
1	Mark Harman, Fayezin Islam, Tao Xie, Stefan Wappler	Automated test data generation for aspect-oriented programs.	AOSD	2009	DBLP DOI BibTeX RDF	aspect-oriented software development, test data generation, evolutionary testing, search-based software engineering
1	Kelly Androutsopoulos, David Clark, Mark Harman, Zheng Li, Laurence Tratt	Control Dependence for Extended Finite State Machines.	FASE	2009	DBLP DOI BibTeX RDF	reactive systems, slicing, control dependence, extended finite state machines
1	Nadia Alshahwan, Mark Harman, Alessandro Marchetto, Paolo Tonella	Improving Web Application Testing using testability measures.	WSE	2009	DBLP DOI BibTeX RDF
1	Kelly Androutsopoulos, Nicolas Gold, Mark Harman, Zheng Li, Laurence Tratt	A theoretical and empirical study of EFSM dependence.	ICSM	2009	DBLP DOI BibTeX RDF
1	Cu D. Nguyen, Anna Perini, Paolo Tonella, Simon Miles, Mark Harman, Michael Luck	Evolutionary testing of autonomous software agents.	AAMAS	2009	DBLP DOI BibTeX RDF	autonomous agents, evolutionary testing
1	Connie Haoying Bao, Nicolas Gold, Mark Harman	Maintaining WS-BPEL Workflows Using Aspects.	BPSC	2009	DBLP BibTeX RDF
1	Mark Harman	The SBSE Approach to Automated Optimization of Verification and Testing.	Haifa Verification Conference	2009	DBLP DOI BibTeX RDF
1	David Binkley, Nicolas Gold, Mark Harman, Zheng Li, Kiarash Mahdavi	An empirical study of the relationship between the concepts expressed in source code and dependence.	Journal of Systems and Software	2008	DBLP DOI BibTeX RDF
1	Walter J. Gutjahr, Mark Harman	Search-based software engineering.	Computers & OR	2008	DBLP DOI BibTeX RDF
1	Mark Harman, Zheng Li, Phil McMinn	Editorial: Testing practice and research.	Softw. Test., Verif. Reliab.	2008	DBLP DOI BibTeX RDF
1	Tao Jiang, Nicolas Gold, Mark Harman, Zheng Li	Locating dependence structures using search-based slicing.	Information & Software Technology	2008	DBLP DOI BibTeX RDF
1	Massimiliano Di Penta, Giuliano Antoniol, Mark Harman	Special Issue on Search-Based Software Maintenance.	Journal of Software Maintenance	2008	DBLP DOI BibTeX RDF
1	David Binkley, Nicolas Gold, Mark Harman, Zheng Li, Kiarash Mahdavi	Evaluating Key Statements Analysis.	SCAM	2008	DBLP DOI BibTeX RDF
1	Yue Jia, Mark Harman	Constructing Subtle Faults Using Higher Order Mutation Testing.	SCAM	2008	DBLP DOI BibTeX RDF
1	Mark Harman, Nadia Alshahwan	Automated Session Data Repair for Web Application Regression Testing.	ICST	2008	DBLP DOI BibTeX RDF	Web Applications, Regression Testing
1	Kiran Lakhotia, Mark Harman, Phil McMinn	Handling dynamic data structures in search based testing.	GECCO	2008	DBLP DOI BibTeX RDF	symbolic execution, automated test data generation, concolic testing
1	David Binkley, Nicolas Gold, Mark Harman, Zheng Li, Kiarash Mahdavi, Joachim Wegener	Dependence Anti Patterns.	ASE Workshops	2008	DBLP DOI BibTeX RDF
1	Tao Jiang, Mark Harman, Youssef Hassoun	Analysis of Procedure Splitability.	WCRE	2008	DBLP DOI BibTeX RDF
1	Anthony Finkelstein, Mark Harman, S. Afshin Mansouri, Jian Ren, Yuanyuan Zhang	"Fairness Analysis" in Requirements Assignments.	RE	2008	DBLP DOI BibTeX RDF
1	Mark Harman, André Baresel, David Binkley, Robert M. Hierons, Lin Hu, Bogdan Korel, Phil McMinn, Marc Roper	Testability Transformation - Program Transformation to Improve Testability.	Formal Methods and Testing	2008	DBLP DOI BibTeX RDF
1	Robert M. Hierons, Jonathan P. Bowen, Mark Harman (eds.)	Formal Methods and Testing, An Outcome of the FORTEST Network, Revised Selected Papers	Formal Methods and Testing	2008	DBLP BibTeX RDF
1	Yuanyuan Zhang, Anthony Finkelstein, Mark Harman	Search Based Requirements Optimisation: Existing Work and Challenges.	REFSQ	2008	DBLP DOI BibTeX RDF
1	Zheng Li, Mark Harman, Robert M. Hierons	Search Algorithms for Regression Test Case Prioritization.	IEEE Trans. Software Eng.	2007	DBLP DOI BibTeX RDF	regression testing, test case prioritization, Search techniques
1	Sebastian Danicic, Mark Harman, John Howroyd, Lahcen Ouarbya	A non-standard semantics for program slicing and dependence analysis.	J. Log. Algebr. Program.	2007	DBLP DOI BibTeX RDF
1	Sebastian Danicic, Mark Harman, Robert M. Hierons, John Howroyd, Michael R. Laurence	Equivalence of linear, free, liberal, structured program schemas is decidable in polynomial time.	Theor. Comput. Sci.	2007	DBLP DOI BibTeX RDF
1	David Binkley, Nicolas Gold, Mark Harman	An empirical study of static program slice size.	ACM Trans. Softw. Eng. Methodol.	2007	DBLP DOI BibTeX RDF	slice size, Program slicing
1	David Binkley, Mark Harman, Jens Krinke	Empirical study of optimization techniques for massive slicing.	ACM Trans. Program. Lang. Syst.	2007	DBLP DOI BibTeX RDF	empirical study, Slicing, performance enhancement, internal representation
1	Qiang Guo, Robert M. Hierons, Mark Harman, Karnig Derderian	Heuristics for fault diagnosis when testing from finite state machines.	Softw. Test., Verif. Reliab.	2007	DBLP DOI BibTeX RDF
1	Yuanyuan Zhang, Mark Harman, S. Afshin Mansouri	The multi-objective next release problem.	GECCO	2007	DBLP DOI BibTeX RDF	next release problem, pareto optimality, multi-objective genetic algorithms
1	Mark Harman, Laurence Tratt	Pareto optimal search based refactoring at the design level.	GECCO	2007	DBLP DOI BibTeX RDF	search based, software engineering, refactoring, Pareto optimality
1	Kiran Lakhotia, Mark Harman, Phil McMinn	A multi-objective approach to search-based test data generation.	GECCO	2007	DBLP DOI BibTeX RDF	multi-objective genetic algorithms, evolutionary testing, automated test data generation
1	Shin Yoo, Mark Harman	Pareto efficient multi-objective test case selection.	ISSTA	2007	DBLP DOI BibTeX RDF	multi-objective evolutionary algorithm, test case selection
1	Mark Harman, Phil McMinn	A theoretical & empirical znalysis of evolutionary testing and hill climbing for structural test data generation.	ISSTA	2007	DBLP DOI BibTeX RDF	royal road, genetic algorithms, hill climbing, evolutionary testing, schema theory, automated test data generation
1	Mark Harman	Search Based Software Engineering for Program Comprehension.	ICPC	2007	DBLP DOI BibTeX RDF
1	Massimiliano Di Penta, Mark Harman, Giuliano Antoniol, Fahim Qureshi	The Effect of Communication Overhead on Software Maintenance Project Staffing: a Search-Based Approach.	ICSM	2007	DBLP DOI BibTeX RDF
1	Mark Harman	The Current State and Future of Search Based Software Engineering.	FOSE	2007	DBLP DOI BibTeX RDF
1	Mark Harman	Automated Test Data Generation using Search Based Software Engineering.	AST	2007	DBLP DOI BibTeX RDF
1	Mark Harman, Youssef Hassoun, Kiran Lakhotia, Phil McMinn, Joachim Wegener	The impact of input domain reduction on search-based test data generation.	ESEC/SIGSOFT FSE	2007	DBLP DOI BibTeX RDF	input domain reduction, genetic algorithms, hill climbing, evolutionary testing, automated test data generation, search space reduction
1	David Binkley, Mariano Ceccato, Mark Harman, Filippo Ricca, Paolo Tonella	Tool-Supported Refactoring of Existing Object-Oriented Code into Aspects.	IEEE Trans. Software Eng.	2006	DBLP DOI BibTeX RDF	program transformation, refactoring, Aspect-oriented software development
1	John Derrick, Mark Harman, Robert M. Hierons	Guest Editorial.	Formal Asp. Comput.	2006	DBLP DOI BibTeX RDF
1	David Binkley, Sebastian Danicic, Mark Harman, John Howroyd, Lahcen Ouarbya	A formal relationship between program slicing and partial evaluation.	Formal Asp. Comput.	2006	DBLP DOI BibTeX RDF	Conditioned program slicing, Partial evaluation
1	David Binkley, Sebastian Danicic, Tibor Gyimóthy, Mark Harman, Ákos Kiss, Bogdan Korel	A formalisation of the relationship between forms of program slicing.	Sci. Comput. Program.	2006	DBLP DOI BibTeX RDF
1	David Binkley, Sebastian Danicic, Tibor Gyimóthy, Mark Harman, Ákos Kiss, Bogdan Korel	Theoretical foundations of dynamic program slicing.	Theor. Comput. Sci.	2006	DBLP DOI BibTeX RDF
1	Tom Dean, Mark Harman, Rainer Koschke, Michael L. Van de Vanter	Selected papers from the fourth Source Code Analysis and Manipulation (SCAM 2004) Workshop.	Journal of Systems and Software	2006	DBLP DOI BibTeX RDF

Publications of "Mark Harman" ( http://dblp.L3S.de/Authors/Mark_Harman )