sign in · help · news · about ·

BibSonomy :: author :: McMinn ::

tag user group author concept BibTeX key search:all

The blue social bookmark and publication sharing system.

>
|
<

bookmarks

bookmarks per page: 5 10 20 50 100

RSS BibTeX RDF more

publications

(27)

<< < 1 | 2 > >>

Search Based Software Engineering: Techniques, Taxonomy, Tutorial.
Mark Harman, Phil McMinn, Jerffeson Teixeira de Souza, and Shin Yoo LASER Summer School, volume 7007 of Lecture Notes in Computer Science, page 1-59. Springer, (2010)
to dblp by dblp on Feb 6, 2012, 12:00 AM
URL | BibTeX
Symbolic search-based testing.
Arthur I. Baars, Mark Harman, Youssef Hassoun, Kiran Lakhotia, Phil McMinn, Paolo Tonella, and Tanja E. J. Vos ASE, page 53-62. IEEE, (2011)
to dblp by dblp on Dec 14, 2011, 12:00 AM
URL | BibTeX
A multiobjective optimisation approach for the dynamic inference and refinement of agent-based model specifications.
Salem F. Adra, Mariam Kiran, Phil McMinn, and Neil Walkinshaw IEEE Congress on Evolutionary Computation, page 2237-2244. IEEE, (2011)
to dblp by dblp on Sep 9, 2011, 12:00 AM
URL | BibTeX
Constraint Management and Checking in Template-Based Circuit Designs.
Richard Bartolotti, Tom Burd, Brian McMinn, and Arun Chandra MTV, page 107-113. IEEE Computer Society, (2009)
to dblp by dblp on Jul 8, 2011, 12:00 AM
URL | BibTeX
The State Problem for Evolutionary Testing.
Phil McMinn, and Mike Holcombe GECCO, volume 2724 of Lecture Notes in Computer Science, page 2488-2498. Springer, (2003)
to dblp by dblp on Jul 5, 2011, 12:00 AM
URL | BibTeX
Evolutionary Artificial Neural Networks for Quadruped Locomotion.
David McMinn, Grant M. Maxwell, and Christopher MacLeod ICANN, volume 2415 of Lecture Notes in Computer Science, page 789-794. Springer, (2002)
to dblp by dblp on Jul 1, 2011, 12:00 AM
URL | BibTeX
Mutation Operators for Agent-Based Models.
Salem F. Adra, and Phil McMinn ICST Workshops, page 151-156. IEEE Computer Society, (2010)
to dblp by dblp on Jun 3, 2011, 12:00 AM
URL | BibTeX
Optimizing for the Number of Tests Generated in Search Based Test Data Generation with an Application to the Oracle Cost Problem.
Mark Harman, Sung Gon Kim, Kiran Lakhotia, Phil McMinn, and Shin Yoo ICST Workshops, page 182-191. IEEE Computer Society, (2010)
to dblp by dblp on Jun 3, 2011, 12:00 AM
URL | BibTeX
Superstate identification for state machines using search-based clustering.
Mathew Hall, Phil McMinn, and Neil Walkinshaw GECCO, page 1381-1388. ACM, (2010)
to dblp by dblp on Jul 21, 2010, 3:58 PM
URL | BibTeX
A Theoretical and Empirical Study of Search-Based Testing: Local, Global, and Hybrid Search.
Mark Harman, and Phil McMinn IEEE Trans. Software Eng. 36(2):226-247 (2010)
to dblp by dblp on Jul 21, 2010, 3:48 PM
URL | BibTeX
TAIC PART 2007 and Mutation 2007 special issue editorial.
Mark Harman, Zheng Li, Phil McMinn, Jeff Offutt, and John A. Clark Journal of Systems and Software 82(11):1753-1754 (2009)
to dblp by dblp on Jan 12, 2010, 12:00 AM
URL | BibTeX
Search-based failure discovery using testability transformations to generate pseudo-oracles.
Phil McMinn GECCO, page 1689-1696. ACM, (2009)
to dblp by dblp on Jul 27, 2009, 12:00 AM
URL | BibTeX
Empirical evaluation of a nesting testability transformation for evolutionary testing.
Phil McMinn, David Binkley, and Mark Harman ACM Trans. Softw. Eng. Methodol. (2009)
to dblp by dblp on Jun 23, 2009, 12:00 AM
URL | BibTeX
Handling dynamic data structures in search based testing.
Kiran Lakhotia, Mark Harman, and Phil McMinn GECCO, page 1759-1766. ACM, (2008)
to dblp by dblp on Dec 4, 2008, 12:00 AM
URL | BibTeX
Editorial: Testing practice and research.
Mark Harman, Zheng Li, and Phil McMinn Softw. Test., Verif. Reliab. 18(2):69-70 (2008)
to dblp by dblp on Sep 23, 2008, 12:00 AM
URL | BibTeX
Validation and discovery from computational biology models.
Mariam Kiran, Simon Coakley, Neil Walkinshaw, Phil McMinn, and Mike Holcombe Biosystems 93(1-2):141-150 (2008)
to dblp by dblp on Aug 21, 2008, 12:00 AM
URL | BibTeX
Testability Transformation - Program Transformation to Improve Testability.
Mark Harman, André Baresel, David Binkley, Robert M. Hierons, Lin Hu, Bogdan Korel, Phil McMinn, and Marc Roper Formal Methods and Testing, volume 4949 of Lecture Notes in Computer Science, page 320-344. Springer, (2008)
to dblp by dblp on Apr 21, 2008, 12:00 AM
URL | BibTeX
The impact of input domain reduction on search-based test data generation.
Mark Harman, Youssef Hassoun, Kiran Lakhotia, Phil McMinn, and Joachim Wegener ESEC/SIGSOFT FSE, page 155-164. ACM, (2007)
to dblp by dblp on Oct 23, 2007, 12:00 AM
URL | BibTeX
A theoretical & empirical znalysis of evolutionary testing and hill climbing for structural test data generation.
Mark Harman, and Phil McMinn ISSTA, page 73-83. ACM, (2007)
to dblp by dblp on Aug 22, 2007, 12:00 AM
URL | BibTeX
A multi-objective approach to search-based test data generation.
Kiran Lakhotia, Mark Harman, and Phil McMinn GECCO, page 1098-1105. ACM, (2007)
to dblp by dblp on Aug 21, 2007, 12:00 AM
URL | BibTeX

<< < 1 | 2 > >>publications per page: 5 10 20 50 100

a gripper