Publications

You will likely find a more up-to-date list on Google Scholar.

Articles

  • [DOI] S. Segura, G. Fraser, A. Sanchez, and A. Ruiz-Cortes, “A Survey on Metamorphic Testing,” IEEE Transactions on Software Engineering, 2016.
    [Bibtex]
    @ARTICLE{Segura2016, 
    author={S. Segura and G. Fraser and A. Sanchez and A. Ruiz-Cortes}, 
    journal={IEEE Transactions on Software Engineering}, 
    title={A Survey on Metamorphic Testing}, 
    year={2016}, 
    note={To appear}, 
    doi={10.1109/TSE.2016.2532875}, 
    }
  • [DOI] J. M. Rojas, G. Fraser, and A. Arcuri, “Seeding strategies in search-based unit test generation,” Software Testing, Verification and Reliability, 2016.
    [Bibtex]
    @article{STVR_seeding,
    author = {Rojas, Jos{\'e} Miguel and Fraser, Gordon and Arcuri, Andrea},
    title = {Seeding strategies in search-based unit test generation},
    journal = {Software Testing, Verification and Reliability},
    issn = {1099-1689},
    url = {http://dx.doi.org/10.1002/stvr.1601},
    doi = {10.1002/stvr.1601},
    note={To appear.},
    year = {2016},
    }
  • J. P. Galeotti, C. A. Furia, E. May, G. Fraser, and A. Zeller, “Inferring loop invariants by mutation, dynamic analysis, and static checking,” IEEE Transactions on Software Engineering, vol. 41, iss. 10, pp. 1019-1037, 2015.
    [Bibtex]
    @article{galeotti2015inferring,
      title={Inferring loop invariants by mutation, dynamic analysis, and static checking},
      author={Galeotti, Juan P and Furia, Carlo A and May, Eva and Fraser, Gordon and Zeller, Andreas},
      journal={IEEE Transactions on Software Engineering},
      volume={41},
      number={10},
      pages={1019--1037},
      year={2015},
      publisher={IEEE}
    }
  • [PDF] G. Fraser, M. Staats, P. McMinn, A. Arcuri, and F. Padberg, “Does Automated Unit Test Generation Really Help Software Testers? A Controlled Empirical Study,” ACM Transactions on Software Engineering and Methodology (TOSEM), vol. 24, iss. 4, pp. 23, 2015.
    [Bibtex]
    @article{TOSEM_userstudy,
    author = {Gordon Fraser and Matt Staats and Phil McMinn and Andrea Arcuri and Frank Padberg},
    title = {Does Automated Unit Test Generation Really Help Software Testers? A Controlled Empirical Study},
    journal ={ACM Transactions on Software Engineering and Methodology (TOSEM)},
      volume={24},
      number={4},
      pages={23},
      year={2015},
      publisher={ACM}
    }
  • G. Fraser and N. Walkinshaw, “Assessing and generating test sets in terms of behavioural adequacy,” Software Testing, Verification and Reliability, vol. 25, iss. 8, pp. 749-780, 2015.
    [Bibtex]
    @article{fraser2015assessing,
      title={Assessing and generating test sets in terms of behavioural adequacy},
      author={Fraser, Gordon and Walkinshaw, Neil},
      journal={Software Testing, Verification and Reliability},
      volume={25},
      number={8},
      pages={749--780},
      year={2015},
      publisher={Wiley Online Library}
    }
  • J. Malburg and G. Fraser, “Search-based testing using constraint-based mutation,” Software Testing, Verification and Reliability, vol. 24, iss. 6, pp. 472-495, 2014.
    [Bibtex]
    @article{malburg2014search,
      title={Search-based testing using constraint-based mutation},
      author={Malburg, Jan and Fraser, Gordon},
      journal={Software Testing, Verification and Reliability},
      volume={24},
      number={6},
      pages={472--495},
      year={2014},
      publisher={Wiley Online Library}
    }
  • [PDF] G. Fraser and A. Arcuri, “Achieving Scalable Mutation-based Generation of Whole Test Suites,” Empirical Software Engineering, vol. 20, iss. 3, pp. 783-812, 2014.
    [Bibtex]
    @article{emse14_mutation,
       year={2014},
       journal={Empirical Software Engineering},
       title={Achieving Scalable Mutation-based Generation of Whole Test Suites},
       publisher={Springer US},
       author={Fraser, Gordon and Arcuri, Andrea},
       language={English},
       volume={20},
       number={3},
       pages={783--812},
    }
  • [PDF] G. Fraser, A. Arcuri, and P. McMinn, “A Memetic Algorithm for Whole Test Suite Generation,” Journal of Systems and Software, 2014.
    [Bibtex]
    @article{jss14_memetic,
       year={2014},
       journal={Journal of Systems and Software},
       title={A Memetic Algorithm for Whole Test Suite Generation},
       publisher={Elsevier},
       author={Fraser, Gordon and Arcuri, Andrea and McMinn, Phil},
       language={English},
       note = {To appear}
    }
  • [PDF] G. Fraser and A. Arcuri, “A Large Scale Evaluation of Automated Unit Test Generation Using EvoSuite,” ACM Transactions on Software Engineering and Methodology (TOSEM), vol. 24, iss. 2, pp. 8, 2014.
    [Bibtex]
    @article{TOSEM_evaluation,
    author = {Gordon Fraser and Andrea Arcuri},
    title = {A Large Scale Evaluation of Automated Unit Test Generation Using EvoSuite},
    journal ={ACM Transactions on Software Engineering and Methodology (TOSEM)},
    year={2014},
    volume={24},
      number={2},
      pages={8},
      year={2014},
      publisher={ACM}
    }
  • [PDF] [DOI] G. Fraser and A. Arcuri, “Whole Test Suite Generation,” IEEE Transactions on Software Engineering, vol. 39, iss. 2, pp. 276-291, 2013.
    [Bibtex]
    @article{TSE12_EvoSuite,
    author = {Gordon Fraser and Andrea Arcuri},
    title = {Whole Test Suite Generation},
    journal ={IEEE Transactions on Software Engineering},
    year={2013}, 
    month={feb. }, 
    volume={39}, 
    number={2}, 
    pages={276 -291}, 
    abstract={Not all bugs lead to program crashes, and not always is there a formal specification to check the correctness of a software test's outcome. A common scenario in software testing is therefore that test data are generated, and a tester manually adds test oracles. As this is a difficult task, it is important to produce small yet representative test sets, and this representativeness is typically measured using code coverage. There is, however, a fundamental problem with the common approach of targeting one coverage goal at a time: Coverage goals are not independent, not equally difficult, and sometimes infeasible-the result of test generation is therefore dependent on the order of coverage goals and how many of them are feasible. To overcome this problem, we propose a novel paradigm in which whole test suites are evolved with the aim of covering all coverage goals at the same time while keeping the total size as small as possible. This approach has several advantages, as for example, its effectiveness is not affected by the number of infeasible targets in the code. We have implemented this novel approach in the EvoSuite tool, and compared it to the common approach of addressing one goal at a time. Evaluated on open source libraries and an industrial case study for a total of 1,741 classes, we show that EvoSuite achieved up to 188 times the branch coverage of a traditional approach targeting single branches, with up to 62 percent smaller test suites.}, 
    keywords={Arrays;Genetic algorithms;Genetic programming;Search problems;Software;Software testing;formal specification;program debugging;program testing;EvoSuite tool;code coverage;formal specification;program crashes;program debugging;software testing;whole test suite generation;Search-based software engineering;branch coverage;collateral coverage;genetic algorithm;infeasible goal;length;}, 
    doi={10.1109/TSE.2012.14}, 
    ISSN={0098-5589},}
  • [PDF] G. Fraser and A. Arcuri, “1600 Faults in 100 Projects: Automatically Finding Faults While Achieving High Coverage with EvoSuite,” Empirical Software Engineering, vol. 20, iss. 3, pp. 611-639, 2013.
    [Bibtex]
    @article{emse13_oracle,
       year={2013},
       journal={Empirical Software Engineering},
       title={1600 Faults in 100 Projects: Automatically Finding Faults While Achieving High Coverage with EvoSuite},
       publisher={Springer US},
       author={Fraser, Gordon and Arcuri, Andrea},
       language={English},
       volume={20},
       number={3},
       pages={611--639},
    }
  • [PDF] [DOI] A. Arcuri and G. Fraser, “Parameter tuning or default values? An empirical investigation in search-based software engineering,” Empirical Software Engineering, 2013.
    [Bibtex]
    @article{Tuning13,
    year={2013},
    issn={1382-3256},
    journal={Empirical Software Engineering},
    doi={10.1007/s10664-013-9249-9},
    title={Parameter tuning or default values? An empirical investigation in search-based software engineering},
    url={http://dx.doi.org/10.1007/s10664-013-9249-9},
    publisher={Springer US},
    keywords={Search-based software engineering; Test data generation; Object-oriented; Unit testing; Tuning; EvoSuite; Java; Response surface; Design of experiments},
    author={Arcuri, Andrea and Fraser, Gordon},
    language={English}
    }
  • [PDF] [DOI] G. Fraser and A. Arcuri, “Handling test length bloat,” Software Testing, Verification and Reliability, 2013.
    [Bibtex]
    @article{STVR_bloat,
      author = {Fraser, Gordon and Arcuri, Andrea},
      title = {Handling test length bloat},
      journal = {Software Testing, Verification and Reliability},
      issn = {1099-1689},
      url = {http://dx.doi.org/10.1002/stvr.1495},
      doi = {10.1002/stvr.1495},
      year = {2013},
    }
  • [DOI] V. Dallmeier, N. Knopp, C. Mallon, G. Fraser, S. Hack, and A. Zeller, “Automatically Generating Test Cases for Specification Mining,” Software Engineering, IEEE Transactions on, vol. 38, iss. 2, pp. 243-257, 2012.
    [Bibtex]
    @ARTICLE{TSE12_Tautoko, 
    author={Dallmeier, V. and Knopp, N. and Mallon, C. and Fraser, G. and Hack, S. and Zeller, A.}, 
    journal={Software Engineering, IEEE Transactions on}, title={Automatically Generating Test Cases for Specification Mining}, 
    year={2012}, 
    month={march-april }, 
    volume={38}, 
    number={2}, 
    pages={243 -257}, 
    abstract={Dynamic specification mining observes program executions to infer models of normal program behavior. What makes us believe that we have seen sufficiently many executions? The TAUTOKO ( #x201C;Tautoko #x201D; is the Ma #x0303;ori word for #x201C;enhance, enrich. #x201D;) typestate miner generates test cases that cover previously unobserved behavior, systematically extending the execution space, and enriching the specification. To our knowledge, this is the first combination of systematic test case generation and typestate mining-a combination with clear benefits: On a sample of 800 defects seeded into six Java subjects, a static typestate verifier fed with enriched models would report significantly more true positives and significantly fewer false positives than the initial models.}, 
    keywords={Fault detection;Heuristic algorithms;Instruments;Java;Schedules;Software;Testing;Java;automatic test pattern generation;data mining;formal specification;program verification;Java;TAUTOKO;automatic test case generation;dynamic specification mining;normal program behavior;program executions;static typestate verifier;typestate mining;Specification mining;test case generation;typestate analysis.;}, 
    doi={10.1109/TSE.2011.105}, 
    ISSN={0098-5589},}
  • [PDF] [DOI] G. Fraser and A. Zeller, “Mutation-Driven Generation of Unit Tests and Oracles,” IEEE Transactions on Software Engineering, vol. 38, iss. 2, pp. 278-292, 2012.
    [Bibtex]
    @article{TSE12_Mutation,
    author = {Gordon Fraser and Andreas Zeller},
    title = {Mutation-Driven Generation of Unit Tests and Oracles},
    journal ={IEEE Transactions on Software Engineering},
    year={2012}, 
    volume={38}, 
    number={2}, 
    pages={278--292}, 
    month={march-april }, 
    issn = {0098-5589},
    publisher = {IEEE Computer Society},
    address = {Los Alamitos, CA, USA},
    keywords={artificial defects;automated test case generation;mutation driven generation;mutation operators;object-oriented classes;open source libraries;optimization;oracle;test suites quality;unit test;automatic test pattern generation;object-oriented programming;optimisation;program testing;}, 
    doi={10.1109/TSE.2011.93}, 
    }
  • [DOI] A. Gargantini and G. Fraser, “Generating minimal fault detecting test suites for general Boolean specifications,” Information and Software Technology, vol. 53, iss. 11, pp. 1263-1273, 2011.
    [Bibtex]
    @article{Gargantini20111263,
    title = "Generating minimal fault detecting test suites for general Boolean specifications",
    journal = "Information and Software Technology",
    volume = "53",
    number = "11",
    pages = "1263 - 1273",
    year = "2011",
    note = "AMOST 2010 AMOST 2010",
    issn = "0950-5849",
    doi = "10.1016/j.infsof.2011.06.008",
    url = "http://www.sciencedirect.com/science/article/pii/S0950584911001431",
    author = "Angelo Gargantini and Gordon Fraser",
    keywords = "Test case generation",
    keywords = "Boolean testing",
    keywords = "Fault-based testing",
    abstract = "Context
    Boolean expressions are a central aspect of specifications and programs, but they also offer dangerously many ways to introduce faults. To counter this effect, various criteria to generate and evaluate tests have been proposed. These are traditionally based on the structure of the expressions, but are not directly related to the possible faults. Often, they also require expressions to be in particular formats such as disjunctive normal form (DNF), where a strict hierarchy of faults is available to prove fault detection capability.
    Objective
    This paper describes a method that generates test cases directly from an expression’s possible faults, guaranteeing that faults of any chosen class will be detected. In contrast to many previous criteria, this approach does not require the Boolean expressions to be in DNF, but allows expressions in any format, using any deliberate fault classes.
    Method
    The presented approach is based on creating test objectives for individual faults, such that efficient, modern satisfiability solvers can be used to derive test cases that directly address the faults. Although the number of such test objectives can be high depending on the considered fault classes, a number of optimizations can be applied to reduce the test generation effort.
    Results
    Evaluation on a set of commonly used benchmarks shows that despite guaranteeing fault coverage, the number of test cases can be reduced even further than that produced by other state of the art strategies. At the same time, the fault detection capability is not affected negatively, and clearly improves over state of the art criteria for general form Boolean expressions.
    Conclusion
    The approach presented in this paper is shown to improve over the state of the art with respect to the types of expressions that can be handled, the fault classes that are guaranteed to be covered, and the sizes of test suites generated automatically. This has implications for several fields of software testing: A main application is specification based testing, but Boolean expressions also exist in normal source code and need to be tested there as well."
    }
  • G. Fraser, F. Wotawa, and P. Ammann, “Issues in using model checkers for test case generation,” Journal of Systems and Software, vol. 82, iss. 9, pp. 1403-1418, 2009.
    [Bibtex]
    @article{fraser2009issues,
      title={Issues in using model checkers for test case generation},
      author={Fraser, Gordon and Wotawa, Franz and Ammann, Paul},
      journal={Journal of Systems and Software},
      volume={82},
      number={9},
      pages={1403--1418},
      year={2009},
      publisher={Elsevier}
    }
  • G. Fraser, F. Wotawa, and P. E. Ammann, “Testing with model checkers: a survey,” Software Testing, Verification and Reliability, vol. 19, iss. 3, pp. 215-261, 2009.
    [Bibtex]
    @article{MC_Survey,
      title={Testing with model checkers: a survey},
      author={Fraser, Gordon and Wotawa, Franz and Ammann, Paul E},
      journal={Software Testing, Verification and Reliability},
      volume={19},
      number={3},
      pages={215--261},
      year={2009},
      publisher={Wiley Online Library}
    }
  • G. Fraser, A. Gargantini, and F. Wotawa, “On the order of test goals in specification-based testing,” Journal of Logic and Algebraic Programming, vol. 78, iss. 6, pp. 472-490, 2009.
    [Bibtex]
    @article{fraser2009order,
      title={On the order of test goals in specification-based testing},
      author={Fraser, Gordon and Gargantini, Angelo and Wotawa, Franz},
      journal={Journal of Logic and Algebraic Programming},
      volume={78},
      number={6},
      pages={472--490},
      year={2009},
      publisher={Elsevier}
    }
  • G. Fraser and F. Wotawa, “Using model-checkers to generate and analyze property relevant test-cases,” Software Quality Journal, vol. 16, iss. 2, pp. 161-183, 2008.
    [Bibtex]
    @article{fraser2008using,
      title={Using model-checkers to generate and analyze property relevant test-cases},
      author={Fraser, Gordon and Wotawa, Franz},
      journal={Software Quality Journal},
      volume={16},
      number={2},
      pages={161--183},
      year={2008},
      publisher={Springer}
    }
  • [PDF] A. Arcuri and G. Fraser, “On The Effectiveness of Whole Test Suite Generation,” , pp. 1-15, 2014.
    [Bibtex]
    @i@inproceedings{ssbse14,
     author = {Arcuri, Andrea and Fraser, Gordon},
     title = {On The Effectiveness of Whole Test Suite Generation},
     booktitle = {Proceedings of the Sixth International Conference on Search Based Software Engineering},
     series = {SSBSE'14},
     year = {2014},
     publisher = {Springer-Verlag},
     address = {Berlin, Heidelberg},
     pages={1--15},
    }

In Books

  • G. Fraser, G. Steinbauer, J. Weber, and F. Wotawa, “Robust Intelligent Control of Mobile Robots,” , H. Lin, Ed., IGI Global, 2007.
    [Bibtex]
    @inbook{lin2007architectural,
      booktitle={Architectural design of multi-agent systems: technologies and techniques},
      editor={Lin, Hong},
      author = {Gordon Fraser and Gerald Steinbauer and Joerg Weber and Franz Wotawa},
      title = {Robust Intelligent Control of Mobile Robots},
      year={2007},
      publisher={IGI Global}
    }

In Proceedings

  • J. M. Rojas, G. Fraser, and A. Arcuri, “Automated Unit Test Generation during Software Development: A Controlled Experiment and Think-Aloud Observations,” in Proceedings of the 2015 International Symposium on Software Testing and Analysis, 2015, pp. 338-349.
    [Bibtex]
    @inproceedings{ISSTA15_Study,
     author = {Jos{\'e} Miguel Rojas and Gordon Fraser and Andrea Arcuri},
     title = {Automated Unit Test Generation during Software Development: A Controlled Experiment and Think-Aloud Observations},
     booktitle = {Proceedings of the 2015 International Symposium on Software Testing and Analysis},
     series = {ISSTA '15},
     year = {2015},
     publisher = {ACM},
     pages={338--349},
    }
  • G. Fraser and A. Arcuri, “EvoSuite at the SBST 2015 Tool Competition,” in 8th International Workshop on Search-Based Software Testing (SBST’15) at ICSE’15, 2015.
    [Bibtex]
    @inproceedings{SBST15_competition,
      author    = {Gordon Fraser and Andrea Arcuri},
      title     = {EvoSuite at the SBST 2015 Tool Competition},
      booktitle = {8th International Workshop on Search-Based Software Testing (SBST'15) at ICSE'15},
      year      = {2015},
      note = {To appear}
    }
  • S. Shamshiri, R. Just, J. M. Rojas, G. Fraser, P. McMinn, and A. Arcuri, “Do Automatically Generated Unit Tests Find Real Faults? An Empirical Study of Effectiveness and Challenges,” in Proceedings of the 30th IEEE/ACM International Conference on Automated Software Engineering (ASE), 2015, pp. 201-211.
    [Bibtex]
    @inproceedings{ase15_faults,
      title={Do Automatically Generated Unit Tests Find Real Faults? An Empirical Study of Effectiveness and Challenges},
      author={Shamshiri, Sina and Just, Rene and Rojas, Jos{\'e} Miguel and Fraser, Gordon and McMinn, Phil and Arcuri, Andrea},
      booktitle={Proceedings of the 30th IEEE/ACM International Conference on Automated Software Engineering (ASE)},
      year={2015},
      pages={201--211},
      organization={IEEE}
    }
  • [DOI] A. Arcuri, G. Fraser, and J. P. Galeotti, “Generating TCP/UDP network data for automated unit test generation,” in 10th Joint Meeting of the European Software Engineering Conference and the ACM SIGSOFT Symposium on the Foundations of Software Engineering (ESEC/FSE), New York, NY, USA, 2015, pp. 155-165.
    [Bibtex]
    @inproceedings{FSE15_vnet,
      title={Generating TCP/UDP network data for automated unit test generation},
      author={Arcuri, Andrea and Fraser, Gordon and Galeotti, Juan Pablo},
      booktitle={10th Joint Meeting of the European Software Engineering Conference and the ACM SIGSOFT Symposium on the Foundations of Software Engineering (ESEC/FSE)},
      year={2015},
      pages = {155--165},
      numpages = {11},
      url = {http://doi.acm.org/10.1145/2786805.2786828},
      doi = {10.1145/2786805.2786828},
      acmid = {2786828},
      publisher = {ACM},
      address = {New York, NY, USA},
      keywords = {JUnit, Java, Unit testing, automated test generation},
    }
  • E. Daka, J. Campos, G. Fraser, J. Dorn, and W. Weimer, “Modeling readability to improve unit tests,” in Proceedings of the 2015 10th Joint Meeting on Foundations of Software Engineering, 2015, pp. 107-118.
    [Bibtex]
    @inproceedings{daka2015modeling,
      title={Modeling readability to improve unit tests},
      author={Daka, Ermira and Campos, Jos{\'e} and Fraser, Gordon and Dorn, Jonathan and Weimer, Westley},
      booktitle={Proceedings of the 2015 10th Joint Meeting on Foundations of Software Engineering},
      pages={107--118},
      year={2015},
      organization={ACM}
    }
  • S. Shamshiri, J. M. Rojas, G. Fraser, and P. McMinn, “Random or Genetic Algorithm Search for Object-Oriented Test Suite Generation?,” in Proceedings of the 2015 on Genetic and Evolutionary Computation Conference, 2015, pp. 1367-1374.
    [Bibtex]
    @inproceedings{shamshiri2015random,
      title={Random or Genetic Algorithm Search for Object-Oriented Test Suite Generation?},
      author={Shamshiri, Sina and Rojas, Jos{\'e} Miguel and Fraser, Gordon and McMinn, Phil},
      booktitle={Proceedings of the 2015 on Genetic and Evolutionary Computation Conference},
      pages={1367--1374},
      year={2015},
      organization={ACM}
    }
  • J. M. Rojas, J. Campos, M. Vivanti, G. Fraser, and A. Arcuri, “Combining Multiple Coverage Criteria in Search-Based Unit Test Generation,” in Search-Based Software Engineering, 2015, pp. 93-108.
    [Bibtex]
    @inproceedings{ssbse15_multi,
      title={Combining Multiple Coverage Criteria in Search-Based Unit Test Generation},
      author={Rojas, Jos{\'e} Miguel and Campos, Jos{\'e} and Vivanti, Mattia and Fraser, Gordon and Arcuri, Andrea},
      booktitle={Search-Based Software Engineering},
      pages={93--108},
      year={2015},
      publisher={Springer}
    }
  • [PDF] G. Fraser and A. Arcuri, “EvoSuite at the Second Unit Testing Tool Competition,” in Future Internet Testing, 2014, pp. 95-100.
    [Bibtex]
    @inproceedings{fittest2014,
      year={2014},
      booktitle={Future Internet Testing},
      series={Lecture Notes in Computer Science},
      editor={Vos, Tanja E.J. and Lakhotia, Kiran and Bauersfeld, Sebastian},
      title={EvoSuite at the Second Unit Testing Tool Competition},
      publisher={Springer International Publishing},
      author={Fraser, Gordon and Arcuri, Andrea},
      pages={95-100},
    }
  • [PDF] J. P. Galeotti, G. Fraser, and A. Arcuri, “Extending a Search-Based Test Generator with Adaptive Dynamic Symbolic Execution (Tool paper),” in Proceedings of the 2014 International Symposium on Software Testing and Analysis, New York, NY, USA, 2014, pp. 421-424.
    [Bibtex]
    @inproceedings{issta14_dse,
     author = {Galeotti, Juan Pablo and Fraser, Gordon and Arcuri, Andrea},
     title = {Extending a Search-Based Test Generator with Adaptive Dynamic Symbolic Execution (Tool paper)},
     booktitle = {Proceedings of the 2014 International Symposium on Software Testing and Analysis},
     series = {ISSTA '14},
     year = {2014},
     numpages = {4},
     publisher = {ACM},
     address = {New York, NY, USA},
     pages={421--424},
     organization={ACM}
    }
  • [PDF] G. Fraser and A. Arcuri, “Automated Test Generation for Java Generics,” in Software Quality. Model-Based Approaches for Advanced Software and Systems Engineering, 2014, pp. 185-198.
    [Bibtex]
    @inproceedings{swqd14_generics,
        AUTHOR="Gordon Fraser and Andrea Arcuri",
        TITLE="Automated Test Generation for Java Generics",
        booktitle={Software Quality. Model-Based Approaches for Advanced Software and Systems Engineering},
        pages={185--198},
        year={2014},
        publisher={Springer}
    }
  • [PDF] A. Arcuri, G. Fraser, and J. P. Galeotti, “Automated Unit Test Generation for Classes with Environment Dependencies,” in IEEE/ACM Int. Conference on Automated Software Engineering (ASE), New York, NY, USA, 2014.
    [Bibtex]
    @inproceedings{ase14_environment,
        AUTHOR="Andrea Arcuri and Gordon Fraser and Juan Pablo Galeotti",
        TITLE="Automated Unit Test Generation for Classes with Environment Dependencies",
        booktitle={IEEE/ACM Int. Conference on Automated Software Engineering (ASE)},
        pages="",
        year = {2014},
        pages = {79--90},
        numpages = {12},
        publisher = {ACM},
        address = {New York, NY, USA},
    }
  • [PDF] J. Campos, A. Arcuri, G. Fraser, and R. Abreu, “Continuous Test Generation: Enhancing Continuous Integration with Automated Test Generation,” in IEEE/ACM Int. Conference on Automated Software Engineering (ASE), New York, NY, USA, 2014, pp. 55-66.
    [Bibtex]
    @inproceedings{ase14_ctg,
        AUTHOR="Jose Campos and Andrea Arcuri and Gordon Fraser and Rui Abreu",
        TITLE="Continuous Test Generation: Enhancing Continuous Integration with Automated Test Generation",
        booktitle={IEEE/ACM Int. Conference on Automated Software Engineering (ASE)},
        year = {2014},
        location = {Vasteras, Sweden},
        pages = {55--66},
        numpages = {12},
        publisher = {ACM},
        address = {New York, NY, USA},
    }
  • C. J. Hunt, G. Brown, and G. Fraser, “Automatic testing of natural user interfaces,” in Software Testing, Verification and Validation (ICST), 2014 IEEE Seventh International Conference on, 2014, pp. 123-132.
    [Bibtex]
    @inproceedings{hunt2014automatic,
      title={Automatic testing of natural user interfaces},
      author={Hunt, Chris J and Brown, Guy and Fraser, Gordon},
      booktitle={Software Testing, Verification and Validation (ICST), 2014 IEEE Seventh International Conference on},
      pages={123--132},
      year={2014},
      organization={IEEE}
    }
  • E. Daka and G. Fraser, “A survey on unit testing practices and problems,” in Software Reliability Engineering (ISSRE), 2014 IEEE 25th International Symposium on, 2014, pp. 201-211.
    [Bibtex]
    @inproceedings{daka2014survey,
      title={A survey on unit testing practices and problems},
      author={Daka, Ermira and Fraser, Gordon},
      booktitle={Software Reliability Engineering (ISSRE), 2014 IEEE 25th International Symposium on},
      pages={201--211},
      year={2014},
      organization={IEEE}
    }
  • J. P. Galeotti, C. A. Furia, E. May, G. Fraser, and A. Zeller, “DynaMate: dynamically inferring loop invariants for automatic full functional verification,” in Hardware and Software: Verification and Testing, 2014, pp. 48-53.
    [Bibtex]
    @inproceedings{galeotti2014dynamate,
      title={DynaMate: dynamically inferring loop invariants for automatic full functional verification},
      author={Galeotti, Juan Pablo and Furia, Carlo A and May, Eva and Fraser, Gordon and Zeller, Andreas},
      booktitle={Hardware and Software: Verification and Testing},
      pages={48--53},
      year={2014},
      publisher={Springer}
    }
  • R. Just, M. D. Ernst, and G. Fraser, “Efficient mutation analysis by propagating and partitioning infected execution states,” in Proceedings of the 2014 International Symposium on Software Testing and Analysis, 2014, pp. 315-326.
    [Bibtex]
    @inproceedings{just2014efficient,
      title={Efficient mutation analysis by propagating and partitioning infected execution states},
      author={Just, Ren{\'e} and Ernst, Michael D and Fraser, Gordon},
      booktitle={Proceedings of the 2014 International Symposium on Software Testing and Analysis},
      pages={315--326},
      year={2014},
      organization={ACM}
    }
  • R. Just, D. Jalali, L. Inozemtseva, M. D. Ernst, R. Holmes, and G. Fraser, “Are mutants a valid substitute for real faults in software testing?,” in Proceedings of the 22nd ACM SIGSOFT International Symposium on Foundations of Software Engineering, 2014, pp. 654-665.
    [Bibtex]
    @inproceedings{just2014mutants,
      title={Are mutants a valid substitute for real faults in software testing?},
      author={Just, Ren{\'e} and Jalali, Darioush and Inozemtseva, Laura and Ernst, Michael D and Holmes, Reid and Fraser, Gordon},
      booktitle={Proceedings of the 22nd ACM SIGSOFT International Symposium on Foundations of Software Engineering},
      pages={654--665},
      year={2014},
      organization={ACM}
    }
  • [PDF] G. Fraser, A. Arcuri, and P. McMinn, “Test Suite Generation with Memetic Algorithms,” in Genetic and Evolutionary Computation Conference (GECCO 2013), 2013, pp. 1437-1444.
    [Bibtex]
    @inproceedings{GECCO13_memetic,
      author = {Gordon Fraser and Andrea Arcuri and Phil McMinn},
      title = {Test Suite Generation with Memetic Algorithms},
      booktitle = {Genetic and Evolutionary Computation Conference (GECCO 2013)},
      year = {2013},
      pages={1437--1444},
      organization={ACM}
    }
  • [PDF] J. Campos, R. Abreu, G. Fraser, and M. d’Amorim, “Entropy-based Test Generation for Improved Fault Localization,” in IEEE/ACM Int. Conference on Automated Software Engineering (ASE), 2013, pp. 257-267.
    [Bibtex]
    @inproceedings{ase13_entropy,
        AUTHOR="Jose Campos and Rui Abreu and Gordon Fraser and Marcelo d'Amorim",
        TITLE="Entropy-based Test Generation for Improved Fault Localization",
        booktitle={IEEE/ACM Int. Conference on Automated Software Engineering (ASE)},
        pages={257--267},
        year={2013},
        organization={IEEE}
    }
  • K. Jamrozik, G. Fraser, N. Tillman, and J. De Halleux, “Generating test suites with augmented dynamic symbolic execution,” in Tests and Proofs, 2013, pp. 152-167.
    [Bibtex]
    @inproceedings{jamrozik2013generating,
      title={Generating test suites with augmented dynamic symbolic execution},
      author={Jamrozik, Konrad and Fraser, Gordon and Tillman, Nikolai and De Halleux, Jonathan},
      booktitle={Tests and Proofs},
      pages={152--167},
      year={2013},
      publisher={Springer}
    }
  • [PDF] M. Vivanti, A. Mis, A. Gorla, and G. Fraser, “Search-based Data-flow Test Generation,” in IEEE International Symposium on Software Reliability Engineering (ISSRE), 2013, pp. 370-379.
    [Bibtex]
    @inproceedings{issre13_dataflow,
        AUTHOR="Mattia Vivanti and Andre Mis and Alessandra Gorla and Gordon Fraser",
        TITLE="Search-based Data-flow Test Generation",
        booktitle={IEEE International Symposium on Software Reliability Engineering (ISSRE)},
        pages={370--379},
        organization={IEEE},
        YEAR="2013"
    }
  • [PDF] J. P. Galeotti, G. Fraser, and A. Arcuri, “Improving Search-based Test Suite Generation with Dynamic Symbolic Execution,” in IEEE International Symposium on Software Reliability Engineering (ISSRE), 2013, pp. 360-369.
    [Bibtex]
    @inproceedings{issre13_dse,
        AUTHOR="Juan Pablo Galeotti and Gordon Fraser and Andrea Arcuri",
        TITLE="Improving Search-based Test Suite Generation with Dynamic Symbolic Execution",
        booktitle={IEEE International Symposium on Software Reliability Engineering (ISSRE)},
        PAGES={360--369},
        YEAR="2013",
        publisher={IEEE}
    }
  • [PDF] G. Fraser and A. Arcuri, “EvoSuite at the SBST 2013 Tool Competition,” in 6th International Workshop on Search-Based Software Testing (SBST’13) at ICST’13, 2013, pp. 406-409.
    [Bibtex]
    @inproceedings{SBST13_competition,
      author    = {Gordon Fraser and Andrea Arcuri},
      title     = {EvoSuite at the SBST 2013 Tool Competition},
      booktitle = {6th International Workshop on Search-Based Software Testing (SBST'13) at ICST'13},
      year      = {2013},
      pages     = {406--409},
      organization={IEEE}
    }
  • [PDF] J. Rößler, A. Zeller, G. Fraser, C. Zamfir, and G. Candea, “Reconstructing Core Dumps,” in ICST’13: Proceedings of the 6th International Conference on Software Testing, Verification and Validation, 2013, pp. 114-123.
    [Bibtex]
    @inproceedings{ICST13_ReCore,
       AUTHOR="Jeremias R\"o\ss{}ler and Andreas Zeller and Gordon Fraser and Cristian Zamfir and George Candea",
       TITLE="Reconstructing Core Dumps",
       booktitle = {ICST'13: Proceedings of the 6th International Conference on Software Testing, Verification and Validation},
       publisher = {IEEE Computer Society},
       YEAR="2013",
       pages={114--123}
    }
  • [PDF] G. Fraser, M. Staats, P. McMinn, A. Arcuri, and F. Padberg, “Does Automated White-Box Test Generation Really Help Software Testers?,” in Proceedings of the 2013 International Symposium on Software Testing and Analysis, New York, NY, USA, 2013.
    [Bibtex]
    @inproceedings{ISSTA13_Study,
     author = {Gordon Fraser and Matt Staats and Phil McMinn and Andrea Arcuri and Frank Padberg},
     title = {Does Automated White-Box Test Generation Really Help Software Testers?},
     booktitle = {Proceedings of the 2013 International Symposium on Software Testing and Analysis},
     series = {ISSTA '13},
     year = {2013},
     publisher = {ACM},
     address = {New York, NY, USA},
    }
  • [PDF] G. Fraser and A. Arcuri, “EvoSuite: On The Challenges of Test Case Generation in the Real World (Tool Paper),” in ICST’13: Proceedings of the 6th International Conference on Software Testing, Verification and Validation, 2013, pp. 362-369.
    [Bibtex]
    @inproceedings{ICST13_Tool,
       AUTHOR="G. Fraser and A. Arcuri",
       TITLE="EvoSuite: On The Challenges of Test Case Generation in the Real World (Tool Paper)",
       booktitle = {ICST'13: Proceedings of the 6th International Conference on Software Testing, Verification and Validation},
       publisher = {IEEE Computer Society},
       YEAR="2013",
       pages={362--369}
    }
  • [PDF] S. Steenbuck and G. Fraser, “Generating Unit Tests for Concurrent Classes,” in ICST’13: Proceedings of the 6th International Conference on Software Testing, Verification and Validation, 2013, pp. 144-153.
    [Bibtex]
    @inproceedings{ICST13_ConSuite,
       AUTHOR="Sebastian Steenbuck and Gordon Fraser",
       TITLE="Generating Unit Tests for Concurrent Classes",
       booktitle = {ICST'13: Proceedings of the 6th International Conference on Software Testing, Verification and Validation},
       publisher = {IEEE Computer Society},
       YEAR="2013",
       pages={144--153}
    }
  • [PDF] F. Pastore, L. Mariani, and G. Fraser, “CrowdOracles: Can the Crowd Solve the Oracle Problem?,” in ICST’13: Proceedings of the 6th International Conference on Software Testing, Verification and Validation, 2013, pp. 342-351.
    [Bibtex]
    @inproceedings{ICST13_Crowd,
       AUTHOR="Fabrizio Pastore and Leonardo Mariani and Gordon Fraser",
       TITLE="CrowdOracles: Can the Crowd Solve the Oracle Problem?",
       booktitle = {ICST'13: Proceedings of the 6th International Conference on Software Testing, Verification and Validation},
       publisher = {IEEE Computer Society},
       YEAR="2013",
       pages={342--351},
    }
  • [PDF] J. Roessler, G. Fraser, A. Zeller, and A. Orso, “Isolating Failure Causes through Test Case Generation,” in Proceedings of the 2012 International Symposium on Software Testing and Analysis, New York, NY, USA, 2012, pp. 309-319.
    [Bibtex]
    @inproceedings{ISSTA12_Bugex,
     author = {Jeremias Roessler and Gordon Fraser and Andreas Zeller and Alessandro Orso},
     title = {Isolating Failure Causes through Test Case Generation},
     booktitle = {Proceedings of the 2012 International Symposium on Software Testing and Analysis},
     series = {ISSTA '12},
     year = {2012},
     publisher = {ACM},
     address = {New York, NY, USA},
     pages={309--319},
    }
  • K. Jamrozik, G. Fraser, N. Tillmann, and J. De Halleux, “Augmented dynamic symbolic execution,” in Automated Software Engineering (ASE), 2012 Proceedings of the 27th IEEE/ACM International Conference on, 2012, pp. 254-257.
    [Bibtex]
    @inproceedings{jamrozik2012augmented,
      title={Augmented dynamic symbolic execution},
      author={Jamrozik, Konrad and Fraser, Gordon and Tillmann, Nikolai and De Halleux, Jonathan},
      booktitle={Automated Software Engineering (ASE), 2012 Proceedings of the 27th IEEE/ACM International Conference on},
      pages={254--257},
      year={2012},
      organization={IEEE}
    }
  • G. Fraser and N. Walkinshaw, “Behaviourally adequate software testing,” in Software Testing, Verification and Validation (ICST), 2012 IEEE Fifth International Conference on, 2012, pp. 300-309.
    [Bibtex]
    @inproceedings{fraser2012behaviourally,
      title={Behaviourally adequate software testing},
      author={Fraser, Gordon and Walkinshaw, Neil},
      booktitle={Software Testing, Verification and Validation (ICST), 2012 IEEE Fifth International Conference on},
      pages={300--309},
      year={2012},
      organization={IEEE}
    }
  • [PDF] F. Gross, G. Fraser, and A. Zeller, “Search-Based System Testing: High Coverage, No False Alarms,” in Proceedings of the 2012 International Symposium on Software Testing and Analysis, New York, NY, USA, 2012, pp. 67-77.
    [Bibtex]
    @inproceedings{ISSTA12_Exsyst,
     author = {Gross, Florian and Fraser, Gordon and Zeller, Andreas},
     title = {Search-Based System Testing: High Coverage, No False Alarms},
     booktitle = {Proceedings of the 2012 International Symposium on Software Testing and Analysis},
     series = {ISSTA '12},
     year = {2012},
     publisher = {ACM},
     address = {New York, NY, USA},
    pages={67--77},
    }
  • [PDF] F. Gross, G. Fraser, and A. Zeller, “EXSYST: Search-based GUI testing (Tool paper),” in 34th International Conference on Software Engineering, 2012, pp. 1423-1426.
    [Bibtex]
    @inproceedings{ICSE12_Exsyst,
      author    = {Florian Gross and Gordon Fraser and Andreas Zeller},
      title     = {EXSYST: Search-based GUI testing (Tool paper)},
      booktitle = {34th International Conference on Software Engineering},
      booktitle = {ICSE'12},
      year      = {2012},
      pages     = {1423--1426},
      ee        = {http://dx.doi.org/10.1109/ICSE.2012.6227232},
      publisher = {IEEE},
      isbn      = {978-1-4673-1067-3},
    }
  • [PDF] Y. Pavlov and G. Fraser, “Semi-automatic Search-Based Test Generation,” in 5th International Workshop on Search-Based Software Testing (SBST’12) at ICST’12, 2012, pp. 777-784.
    [Bibtex]
    @inproceedings{SBST12,
      author    = {Yury Pavlov and Gordon Fraser},
      title     = {Semi-automatic Search-Based Test Generation},
      booktitle     = {5th International Workshop on Search-Based Software Testing (SBST'12) at ICST'12},
      year      = {2012},
      pages     = {777--784},
      ee        = {http://doi.ieeecomputersociety.org/10.1109/ICST.2012.176},
      isbn      = {978-1-4577-1906-6},
      ee        = {http://ieeexplore.ieee.org/xpl/mostRecentIssue.jsp?punumber=6200016},
    }
  • [PDF] [DOI] G. Fraser and A. Arcuri, “The Seed is Strong: Seeding Strategies in Search-Based Software Testing,” , Los Alamitos, CA, USA, 2012.
    [Bibtex]
    @inproceedings{ICST12,
        author = {Gordon Fraser and Andrea Arcuri},
        TITLE="The Seed is Strong: Seeding Strategies in Search-Based Software Testing",
        pages="",
        YEAR="2012"
      booktitle = {ICST'12: Proceedings of the 5th International Conference on Software Testing, Verification and Validation},
    isbn = {978-0-7695-4670-4},
    year = {2012},
    pages = {121--130},
    doi = {http://doi.ieeecomputersociety.org/10.1109/ICST.2012.92},
    publisher = {IEEE Computer Society},
    address = {Los Alamitos, CA, USA},
    }
  • [PDF] G. Fraser and A. Arcuri, “Sound Empirical Evidence in Software Testing,” in 34th International Conference on Software Engineering, ICSE 2012, June 2-9, 2012, Zurich, Switzerland, 2012, pp. 178-188.
    [Bibtex]
    @inproceedings{ICSE12,
        author    = {Gordon Fraser and Andrea Arcuri},
        TITLE="Sound Empirical Evidence in Software Testing",
        YEAR={2012},
        pages     = {178--188},
        ee        = {http://dx.doi.org/10.1109/ICSE.2012.6227195},
        booktitle     = {34th International Conference on Software Engineering, ICSE 2012, June 2-9, 2012, Zurich, Switzerland},
        publisher = {IEEE},
      isbn      = {978-1-4673-1067-3},
    }
  • R. Sharma, M. Gligoric, A. Arcuri, G. Fraser, and D. Marinov, “Testing container classes: Random or systematic?,” in Fundamental Approaches to Software Engineering, 2011, pp. 262-277.
    [Bibtex]
    @inproceedings{sharma2011testing,
      title={Testing container classes: Random or systematic?},
      author={Sharma, Rohan and Gligoric, Milos and Arcuri, Andrea and Fraser, Gordon and Marinov, Darko},
      booktitle={Fundamental Approaches to Software Engineering},
      pages={262--277},
      year={2011},
      publisher={Springer}
    }
  • [PDF] [DOI] G. Fraser and A. Arcuri, “Evolutionary Generation of Whole Test Suites,” in International Conference On Quality Software (QSIC), Los Alamitos, CA, USA, 2011, pp. 31-40.
    [Bibtex]
    @inproceedings{QSIC11,
    author = {Gordon Fraser and Andrea Arcuri},
    title = {Evolutionary Generation of Whole Test Suites},
    booktitle={International Conference On Quality Software (QSIC)},
    issn = {1550-6002},
    year = {2011},
    pages = {31--40},
    doi = {http://doi.ieeecomputersociety.org/10.1109/QSIC.2011.19},
    publisher = {IEEE Computer Society},
    address = {Los Alamitos, CA, USA},
    abstract = {Recent advances in software testing allow automatic derivation of
      tests that reach almost any desired point in the source code. There
      is, however, a fundamental problem with the general idea of
      targeting one distinct test coverage goal at a time: Coverage goals
      are neither independent of each other, nor is test generation for
      any particular coverage goal guaranteed to succeed.
      We present EvoSuite, a search-based approach that optimizes
      whole test suites towards satisfying a coverage criterion,
      rather than generating distinct test cases directed towards distinct
      coverage goals. 
      Evaluated on five open source libraries and an industrial case
      study, we show that EvoSuite achieves up to 18 times the coverage
      of a traditional approach targeting single branches, with up to 44\%
      smaller test suites.}
    }
  • [PDF] Y. Li and G. Fraser, “Bytecode Testability Transformation,” in Search Based Software Engineering, 2011, pp. 237-251.
    [Bibtex]
    @inproceedings {SSBSE11_Testability,
       author = {Li, Yanchuan and Fraser, Gordon},
       affiliation = {Saarland University, Saarbruecken, 66123 Germany},
       title = {Bytecode Testability Transformation},
       booktitle = {Search Based Software Engineering},
       series = {Lecture Notes in Computer Science},
       publisher = {Springer},
       isbn = {978-3-642-23715-7},
       keyword = {Computer Science},
       pages = {237-251},
       volume = {6956},
       year = {2011}
    }
  • [PDF] A. Arcuri and G. Fraser, “On parameter tuning in search based software engineering,” in Proceedings of the Third International Conference on Search Based Software Engineering, Berlin, Heidelberg, 2011, pp. 33-47.
    [Bibtex]
    @inproceedings{SSBSE11_Tuning,
     author = {Arcuri, Andrea and Fraser, Gordon},
     title = {On parameter tuning in search based software engineering},
     booktitle = {Proceedings of the Third International Conference on Search Based Software Engineering},
     series = {SSBSE'11},
     year = {2011},
     isbn = {978-3-642-23715-7},
     location = {Szeged, Hungary},
     pages = {33--47},
     numpages = {15},
     url = {http://dl.acm.org/citation.cfm?id=2042243.2042252},
     acmid = {2042252},
     publisher = {Springer-Verlag},
     address = {Berlin, Heidelberg},
     keywords = {objectoriented, search based software engineering, test data generation, unit testing},
    }
  • [PDF] [DOI] G. Fraser and A. Arcuri, “EvoSuite: automatic test suite generation for object-oriented software,” in Proceedings of the 19th ACM SIGSOFT Symposium and the 13th European Conference on Foundations of Software Engineering, New York, NY, USA, 2011, pp. 416-419.
    [Bibtex]
    @inproceedings{ESECFSE11,
     author = {Fraser, Gordon and Arcuri, Andrea},
     title = {EvoSuite: automatic test suite generation for object-oriented software},
     booktitle = {Proceedings of the 19th ACM SIGSOFT Symposium and the 13th European Conference on Foundations of Software Engineering},
     series = {ESEC/FSE '11},
     year = {2011},
     isbn = {978-1-4503-0443-6},
     location = {Szeged, Hungary},
     pages = {416--419},
     numpages = {4},
     url = {http://doi.acm.org/10.1145/2025113.2025179},
     doi = {10.1145/2025113.2025179},
     acmid = {2025179},
     publisher = {ACM},
     address = {New York, NY, USA},
     keywords = {assertion generation, search based soft- ware testing, test case generation},
    }
  • [PDF] [DOI] G. Fraser and A. Zeller, “Generating parameterized unit tests,” in Proceedings of the 2011 International Symposium on Software Testing and Analysis, New York, NY, USA, 2011, pp. 364-374.
    [Bibtex]
    @inproceedings{ISSTA11,
     author = {Fraser, Gordon and Zeller, Andreas},
     title = {Generating parameterized unit tests},
     booktitle = {Proceedings of the 2011 International Symposium on Software Testing and Analysis},
     series = {ISSTA '11},
     year = {2011},
     isbn = {978-1-4503-0562-4},
     location = {Toronto, Ontario, Canada},
     pages = {364--374},
     numpages = {11},
     url = {http://doi.acm.org/10.1145/2001420.2001464},
     doi = {10.1145/2001420.2001464},
     acmid = {2001464},
     publisher = {ACM},
     address = {New York, NY, USA},
     keywords = {assertions, test case generation, test oracles, unit testing},
    }
  • [PDF] G. Fraser and A. Arcuri, “It is Not the Length that Matters, It is How You Control It,” in ICST’11: Proceedings of the 4th International Conference on Software Testing, Verification and Validation, 2011, pp. 150-159.
    [Bibtex]
    @inproceedings{ICST11_Length,
        AUTHOR="G. Fraser and A. Arcuri",
        TITLE="It is Not the Length that Matters, It is How You Control It",
      booktitle = {ICST'11: Proceedings of the 4th International Conference on Software Testing, Verification and Validation},
      pages="150 -- 159",
      publisher = {IEEE Computer Society},
        YEAR="2011"
    }
  • [PDF] G. Fraser and A. Zeller, “Exploiting Common Object Usage in Test Case Generation,” in ICST’11: Proceedings of the 4th International Conference on Software Testing, Verification and Validation, 2011, pp. 80-89.
    [Bibtex]
    @inproceedings{ICST11_Usage,
        AUTHOR="G. Fraser and A. Zeller",
        TITLE="Exploiting Common Object Usage in Test Case Generation",
      booktitle = {ICST'11: Proceedings of the 4th International Conference on Software Testing, Verification and Validation},
      pages={80--89},
      publisher = {IEEE Computer Society},
        YEAR="2011"
    }
  • [PDF] [DOI] J. Malburg and G. Fraser, “Combining search-based and constraint-based testing,” in Proceedings of the 26th IEEE/ACM International Conference on Automated Software Engineering, Los Alamitos, CA, USA, 2011, pp. 436-439.
    [Bibtex]
    @inproceedings{ASE11,
    author = {Jan Malburg and Gordon Fraser},
    title = {Combining search-based and constraint-based testing},
    booktitle ={Proceedings of the 26th IEEE/ACM International Conference on Automated Software Engineering},
    series = {ASE'11},
    isbn = {978-1-4577-1638-6},
    year = {2011},
    pages = {436--439},
    doi = {http://doi.ieeecomputersociety.org/10.1109/ASE.2011.6100092},
    publisher = {IEEE Computer Society},
    address = {Los Alamitos, CA, USA},
    }
  • [PDF] [DOI] G. Fraser and A. Zeller, “Mutation-driven Generation of Unit Tests and Oracles,” in Proceedings of the ACM International Symposium on Software Testing and Analysis, New York, NY, USA, 2010, pp. 147-158.
    [Bibtex]
    @inproceedings{ISSTA10,
        AUTHOR="Gordon Fraser and Andreas Zeller",
        TITLE="Mutation-driven Generation of Unit Tests and Oracles",
        booktitle={Proceedings of the ACM International Symposium on Software Testing and Analysis},
     series = {ISSTA '10},
     year = {2010},
     isbn = {978-1-60558-823-0},
     location = {Trento, Italy},
     pages = {147--158},
     numpages = {12},
     url = {http://doi.acm.org/10.1145/1831708.1831728},
     doi = {10.1145/1831708.1831728},
     acmid = {1831728},
     publisher = {ACM},
     address = {New York, NY, USA},
     keywords = {assertions, mutation analysis, mutation testing, search based testing, test case generation, test oracles, unit testing},
    }
  • M. Weiglhofer, G. Fraser, and F. Wotawa, “Using spectrum-based fault localization for test case grouping,” in Proceedings of the 2009 IEEE/ACM International Conference on Automated Software Engineering, 2009, pp. 630-634.
    [Bibtex]
    @inproceedings{weiglhofer2009using,
      title={Using spectrum-based fault localization for test case grouping},
      author={Weiglhofer, Martin and Fraser, Gordon and Wotawa, Franz},
      booktitle={Proceedings of the 2009 IEEE/ACM International Conference on Automated Software Engineering},
      pages={630--634},
      year={2009},
      organization={IEEE Computer Society}
    }

One thought on “Publications

  1. Pingback: escort bodrum

Leave a Reply