Gordon Fraser
Refine list

refinements active!
zoomed in on ?? of ?? records
view refined list in
showing all ?? records
2010 – today
- 2018
- [c96]José Miguel Rojas, Thomas D. White, Benjamin S. Clegg, Gordon Fraser:
Code Defenders. Software Engineering 2018: 77-78 - 2017
- [j32]José Miguel Rojas, Mattia Vivanti, Andrea Arcuri, Gordon Fraser:
A detailed investigation of the effectiveness of whole test suite generation. Empirical Software Engineering 22(2): 852-893 (2017) - [j31]Gordon Fraser, Darko Marinov:
Editorial for the special issue of STVR on the 8th IEEE International Conference on Software Testing, Verification, and Validation (ICST 2015). Softw. Test., Verif. Reliab. 27(6) (2017) - [c95]
- [c94]Benjamin S. Clegg, José Miguel Rojas, Gordon Fraser:
Teaching Software Testing Concepts Using a Mutation Testing Game. ICSE-SEET 2017: 33-36 - [c93]Gordon Fraser, José Miguel Rojas, José Campos, Andrea Arcuri:
EvoSuite at the SBST 2017 Tool Competition. SBST@ICSE 2017: 39-42 - [c92]José Miguel Rojas, Gordon Fraser:
Is Search-Based Unit Test Generation Research Stuck in a Local Optimum? SBST@ICSE 2017: 51-52 - [c91]Sina Shamshiri, José Campos, Gordon Fraser, Phil McMinn:
Disposable testing: avoiding maintenance of generated unit tests by throwing them away. ICSE (Companion Volume) 2017: 207-209 - [c90]Mohammad Moein Almasi, Hadi Hemmati, Gordon Fraser, Andrea Arcuri, Janis Benefelds:
An Industrial Evaluation of Unit Test Generation: Finding Real Faults in a Financial Application. ICSE-SEIP 2017: 263-272 - [c89]Spencer Pearson, José Campos, René Just, Gordon Fraser, Rui Abreu, Michael D. Ernst, Deric Pang, Benjamin Keller:
Evaluating and improving fault localization. ICSE 2017: 609-620 - [c88]José Miguel Rojas, Thomas D. White, Benjamin S. Clegg, Gordon Fraser:
Code defenders: crowdsourcing effective tests and subtle mutants with a mutation testing game. ICSE 2017: 677-688 - [c87]Andrea Arcuri, Gordon Fraser, René Just:
Private API Access and Functional Mocking in Automated Unit Test Generation. ICST 2017: 126-137 - [c86]Neil Walkinshaw, Gordon Fraser:
Uncertainty-Driven Black-Box Test Data Generation. ICST 2017: 253-263 - [c85]Ermira Daka, José Miguel Rojas, Gordon Fraser:
Generating unit tests with descriptive names or: would you name your children thing1 and thing2? ISSTA 2017: 57-67 - [c84]José Campos, Yan Ge, Gordon Fraser, Marcelo Eler, Andrea Arcuri:
An Empirical Evaluation of Evolutionary Algorithms for Test Suite Generation. SSBSE 2017: 33-48 - 2016
- [j30]José Miguel Rojas, Gordon Fraser, Andrea Arcuri:
Seeding strategies in search-based unit test generation. Softw. Test., Verif. Reliab. 26(5): 366-401 (2016) - [j29]Sergio Segura, Gordon Fraser, Ana B. Sánchez, Antonio Ruiz Cortés:
A Survey on Metamorphic Testing. IEEE Trans. Software Eng. 42(9): 805-824 (2016) - [c83]
- [c82]Phil McMinn, Mark Harman, Gordon Fraser, Gregory M. Kapfhammer:
Automated search for good coverage criteria: moving from code coverage to fault coverage through search-based software engineering. SBST@ICSE 2016: 43-44 - [c81]José Miguel Rojas, Gordon Fraser:
Code Defenders: A Mutation Testing Game. ICST Workshops 2016: 162-167 - [c80]Andrea Arcuri, José Campos, Gordon Fraser:
Unit Test Generation During Software Development: EvoSuite Plugins for Maven, IntelliJ and Jenkins. ICST 2016: 401-408 - [c79]Andrea Arcuri, Gordon Fraser:
Java Enterprise Edition Support in Search-Based JUnit Test Generation. SSBSE 2016: 3-17 - [e5]Christof J. Budnik, Gordon Fraser, Francesca Lonetti:
Proceedings of the 11th International Workshop on Automation of Software Test, AST@ICSE 2016, Austin, Texas, USA, May 14-15, 2016. ACM 2016, ISBN 978-1-4503-4151-6 [contents] - [i4]Neil Walkinshaw, Gordon Fraser:
Uncertainty-Driven Black-Box Test Data Generation. CoRR abs/1608.03181 (2016) - 2015
- [j28]Gordon Fraser, Andrea Arcuri:
1600 faults in 100 projects: automatically finding faults while achieving high coverage with EvoSuite. Empirical Software Engineering 20(3): 611-639 (2015) - [j27]Gordon Fraser, Andrea Arcuri:
Achieving scalable mutation-based generation of whole test suites. Empirical Software Engineering 20(3): 783-812 (2015) - [j26]Gordon Fraser, Andrea Arcuri, Phil McMinn:
A Memetic Algorithm for whole test suite generation. Journal of Systems and Software 103: 311-327 (2015) - [j25]Gordon Fraser, Neil Walkinshaw:
Assessing and generating test sets in terms of behavioural adequacy. Softw. Test., Verif. Reliab. 25(8): 749-780 (2015) - [j24]Gordon Fraser, Matt Staats, Phil McMinn, Andrea Arcuri, Frank Padberg:
Does Automated Unit Test Generation Really Help Software Testers? A Controlled Empirical Study. ACM Trans. Softw. Eng. Methodol. 24(4): 23:1-23:49 (2015) - [j23]Juan P. Galeotti, Carlo A. Furia, Eva May, Gordon Fraser, Andreas Zeller:
Inferring Loop Invariants by Mutation, Dynamic Analysis, and Static Checking. IEEE Trans. Software Eng. 41(10): 1019-1037 (2015) - [c78]Sina Shamshiri, José Miguel Rojas, Gordon Fraser, Phil McMinn:
Random or Genetic Algorithm Search for Object-Oriented Test Suite Generation? GECCO 2015: 1367-1374 - [c77]
- [c76]Kevin Salvesen, Juan P. Galeotti, Florian Gross, Gordon Fraser, Andreas Zeller:
Using Dynamic Symbolic Execution to Generate Inputs in Search-Based GUI Testing. SBST@ICSE 2015: 32-35 - [c75]Gordon Fraser, Thomas D. LaToza, Leonardo Mariani:
2nd International Workshop on Crowd Sourcing in Software Engineering (CSI-SE 2015). ICSE (2) 2015: 975-976 - [c74]José Miguel Rojas, Gordon Fraser, Andrea Arcuri:
Automated unit test generation during software development: a controlled experiment and think-aloud observations. ISSTA 2015: 338-349 - [c73]Sina Shamshiri, René Just, José Miguel Rojas, Gordon Fraser, Phil McMinn, Andrea Arcuri:
Do Automatically Generated Unit Tests Find Real Faults? An Empirical Study of Effectiveness and Challenges (T). ASE 2015: 201-211 - [c72]René Just, Michael D. Ernst, Gordon Fraser:
Mutation Analysis for the Real World: Effectiveness, Efficiency, and Proper Tool Support. Software Engineering & Management 2015: 53-54 - [c71]Andrea Arcuri, Gordon Fraser, Juan Pablo Galeotti:
Automatische Erzeugung von Unit Tests für Klassen mit Umgebungs-Abhängigkeiten. Software Engineering & Management 2015: 132 - [c70]Ermira Daka, José Campos, Gordon Fraser, Jonathan Dorn, Westley Weimer:
Modeling readability to improve unit tests. ESEC/SIGSOFT FSE 2015: 107-118 - [c69]Andrea Arcuri, Gordon Fraser, Juan Pablo Galeotti:
Generating TCP/UDP network data for automated unit test generation. ESEC/SIGSOFT FSE 2015: 155-165 - [c68]José Miguel Rojas, José Campos, Mattia Vivanti, Gordon Fraser, Andrea Arcuri:
Combining Multiple Coverage Criteria in Search-Based Unit Test Generation. SSBSE 2015: 93-108 - [c67]David Paterson, Jonathan Turner, Thomas D. White, Gordon Fraser:
Parameter Control in Search-Based Generation of Unit Test Suites. SSBSE 2015: 141-156 - [c66]José Campos, Gordon Fraser, Andrea Arcuri, Rui Abreu:
Continuous Test Generation on Guava. SSBSE 2015: 228-234 - [c65]Ermira Daka, José Campos, Jonathan Dorn, Gordon Fraser, Westley Weimer:
Generating Readable Unit Tests for Guava. SSBSE 2015: 235-241 - 2014
- [j22]Gordon Fraser, Jerffeson Teixeira de Souza:
Guest editorial: Search-based software engineering. Empirical Software Engineering 19(5): 1421-1422 (2014) - [j21]Jan Malburg, Gordon Fraser:
Search-based testing using constraint-based mutation. Softw. Test., Verif. Reliab. 24(6): 472-495 (2014) - [j20]Gordon Fraser, Andrea Arcuri:
A Large-Scale Evaluation of Automated Unit Test Generation Using EvoSuite. ACM Trans. Softw. Eng. Methodol. 24(2): 8:1-8:42 (2014) - [c64]Juan Pablo Galeotti, Carlo A. Furia, Eva May, Gordon Fraser, Andreas Zeller:
DynaMate: Dynamically Inferring Loop Invariants for Automatic Full Functional Verification. Haifa Verification Conference 2014: 48-53 - [c63]Chris J. Hunt, Guy J. Brown, Gordon Fraser:
Automatic Testing of Natural User Interfaces. ICST 2014: 123-132 - [c62]
- [c61]René Just, Michael D. Ernst, Gordon Fraser:
Efficient mutation analysis by propagating and partitioning infected execution states. ISSTA 2014: 315-326 - [c60]Juan Pablo Galeotti, Gordon Fraser, Andrea Arcuri:
Extending a search-based test generator with adaptive dynamic symbolic execution. ISSTA 2014: 421-424 - [c59]José Carlos Medeiros de Campos, Andrea Arcuri, Gordon Fraser, Rui Filipe Lima Maranhão de Abreu:
Continuous test generation: enhancing continuous integration with automated test generation. ASE 2014: 55-66 - [c58]Andrea Arcuri, Gordon Fraser, Juan Pablo Galeotti:
Automated unit test generation for classes with environment dependencies. ASE 2014: 79-90 - [c57]René Just, Darioush Jalali, Laura Inozemtseva, Michael D. Ernst, Reid Holmes, Gordon Fraser:
Are mutants a valid substitute for real faults in software testing? SIGSOFT FSE 2014: 654-665 - [c56]
- [c55]
- [e4]Gordon Fraser, Thomas D. LaToza, Leonardo Mariani, Fabrizio Pastore, Nikolai Tillmann:
Proceedings of the 1st International Workshop on CrowdSourcing in Software Engineering, CSI-SE 2014, Hyderabad, India, June 2, 2014. ACM 2014, ISBN 978-1-4503-2857-9 [contents] - [i3]Juan P. Galeotti, Carlo A. Furia, Eva May, Gordon Fraser, Andreas Zeller:
Automating Full Functional Verification of Programs with Loops. CoRR abs/1407.5286 (2014) - 2013
- [j19]Andrea Arcuri, Gordon Fraser:
Parameter tuning or default values? An empirical investigation in search-based software engineering. Empirical Software Engineering 18(3): 594-623 (2013) - [j18]Lydie du Bousquet, Jeremy S. Bradbury, Gordon Fraser:
Special section on Mutation testing (Mutation 2010). Sci. Comput. Program. 78(4): 343-344 (2013) - [j17]Anthony J. H. Simons, Gordon Fraser, Leonardo Bottaci:
Guest editor's introduction to the special section on TAIC-PART 2010 - Testing: Academic and Industrial Conference-Practice and Research Techniques. Softw., Pract. Exper. 43(9): 1101-1102 (2013) - [j16]Gordon Fraser, Angelo Gargantini:
Guest editor's introduction to the special section on tests and proofs. Software Quality Journal 21(1): 99-100 (2013) - [j15]Gordon Fraser, Andrea Arcuri:
Handling test length bloat. Softw. Test., Verif. Reliab. 23(7): 553-582 (2013) - [j14]Gordon Fraser, Andrea Arcuri:
Whole Test Suite Generation. IEEE Trans. Software Eng. 39(2): 276-291 (2013) - [c54]Gordon Fraser, Andrea Arcuri, Phil McMinn:
Test suite generation with memetic algorithms. GECCO 2013: 1437-1444 - [c53]Jeremias Rößler, Andreas Zeller, Gordon Fraser, Cristian Zamfir, George Candea:
Reconstructing Core Dumps. ICST 2013: 114-123 - [c52]Sebastian Steenbuck, Gordon Fraser:
Generating Unit Tests for Concurrent Classes. ICST 2013: 144-153 - [c51]Fabrizio Pastore, Leonardo Mariani, Gordon Fraser:
CrowdOracles: Can the Crowd Solve the Oracle Problem? ICST 2013: 342-351 - [c50]Gordon Fraser, Andrea Arcuri:
EvoSuite: On the Challenges of Test Case Generation in the Real World. ICST 2013: 362-369 - [c49]Sina Shamshiri, Gordon Fraser, Phil McMinn, Alessandro Orso:
Search-Based Propagation of Regression Faults in Automated Regression Testing. ICST Workshops 2013: 396-399 - [c48]Gordon Fraser, Andrea Arcuri:
EvoSuite at the SBST 2013 Tool Competition. ICST Workshops 2013: 406-409 - [c47]Juan Pablo Galeotti, Gordon Fraser, Andrea Arcuri:
Improving search-based test suite generation with dynamic symbolic execution. ISSRE 2013: 360-369 - [c46]Mattia Vivanti, Andre Mis, Alessandra Gorla, Gordon Fraser:
Search-based data-flow test generation. ISSRE 2013: 370-379 - [c45]Gordon Fraser, Matt Staats, Phil McMinn, Andrea Arcuri, Frank Padberg:
Does automated white-box test generation really help software testers? ISSTA 2013: 291-301 - [c44]José Campos, Rui Abreu, Gordon Fraser, Marcelo d'Amorim:
Entropy-based test generation for improved fault localization. ASE 2013: 257-267 - [c43]Gordon Fraser, Andrea Arcuri:
EvoSuite at the Second Unit Testing Tool Competition. FITTEST@ICTSS 2013: 95-100 - [c42]Konrad Jamrozik, Gordon Fraser, Nikolai Tillmann, Jonathan de Halleux:
Generating Test Suites with Augmented Dynamic Symbolic Execution. TAP 2013: 152-167 - [i2]René Just, Michael D. Ernst, Gordon Fraser:
Using State Infection Conditions to Detect Equivalent Mutants and Speed up Mutation Analysis. CoRR abs/1303.2784 (2013) - 2012
- [j13]Paul Ammann, Gordon Fraser, Franz Wotawa:
Guest Editorial for the Special Issue on Model-Based Testing. Softw. Test., Verif. Reliab. 22(5): 295-296 (2012) - [j12]Valentin Dallmeier, Nikolai Knopp, Christoph Mallon, Gordon Fraser, Sebastian Hack, Andreas Zeller:
Automatically Generating Test Cases for Specification Mining. IEEE Trans. Software Eng. 38(2): 243-257 (2012) - [j11]Gordon Fraser, Andreas Zeller:
Mutation-Driven Generation of Unit Tests and Oracles. IEEE Trans. Software Eng. 38(2): 278-292 (2012) - [c41]
- [c40]Florian Gross, Gordon Fraser, Andreas Zeller:
EXSYST: Search-based GUI testing. ICSE 2012: 1423-1426 - [c39]Gordon Fraser, Andrea Arcuri:
The Seed is Strong: Seeding Strategies in Search-Based Software Testing. ICST 2012: 121-130 - [c38]
- [c37]
- [c36]Florian Gross, Gordon Fraser, Andreas Zeller:
Search-based system testing: high coverage, no false alarms. ISSTA 2012: 67-77 - [c35]Jeremias Rößler, Gordon Fraser, Andreas Zeller, Alessandro Orso:
Isolating failure causes through test case generation. ISSTA 2012: 309-319 - [c34]Konrad Jamrozik, Gordon Fraser, Nikolai Tillmann, Jonathan de Halleux:
Augmented dynamic symbolic execution. ASE 2012: 254-257 - [e3]Gordon Fraser, Jerffeson Teixeira de Souza:
Search Based Software Engineering - 4th International Symposium, SSBSE 2012, Riva del Garda, Italy, September 28-30, 2012. Proceedings. Lecture Notes in Computer Science 7515, Springer 2012, ISBN 978-3-642-33118-3 [contents] - 2011
- [j10]Benoit Baudry, Jeremy S. Bradbury, Gordon Fraser:
Guest Editorial for Special Section on Mutation Testing. Information & Software Technology 53(10): 1097 (2011) - [j9]Angelo Gargantini, Gordon Fraser:
Generating minimal fault detecting test suites for general Boolean specifications. Information & Software Technology 53(11): 1263-1273 (2011) - [c33]Rohan Sharma, Milos Gligoric, Andrea Arcuri, Gordon Fraser, Darko Marinov:
Testing Container Classes: Random or Systematic? FASE 2011: 262-277 - [c32]Gordon Fraser, Andreas Zeller:
Exploiting Common Object Usage in Test Case Generation. ICST 2011: 80-89 - [c31]Gordon Fraser, Andrea Arcuri:
It is Not the Length That Matters, It is How You Control It. ICST 2011: 150-159 - [c30]
- [c29]
- [c28]
- [c27]Gordon Fraser, Andrea Arcuri:
EvoSuite: automatic test suite generation for object-oriented software. SIGSOFT FSE 2011: 416-419 - [c26]Andrea Arcuri, Gordon Fraser:
On Parameter Tuning in Search Based Software Engineering. SSBSE 2011: 33-47 - [c25]
- 2010
- [c24]Gordon Fraser, Angelo Gargantini:
Generating Minimal Fault Detecting Test Suites for Boolean Expressions. ICST Workshops 2010: 37-45 - [c23]Gordon Fraser, Andreas Zeller:
Mutation-driven generation of unit tests and oracles. ISSTA 2010: 147-158 - [e2]Leonardo Bottaci, Gordon Fraser:
Testing - Practice and Research Techniques, 5th International Academic and Industrial Conference, TAIC PART 2010, Windsor, UK, September 3-5, 2010. Proceedings. Lecture Notes in Computer Science 6303, Springer 2010, ISBN 978-3-642-15584-0 [contents] - [e1]Gordon Fraser, Angelo Gargantini:
Tests and Proofs, 4th International Conference, TAP 2010, Málaga, Spain, July 1-2, 2010. Proceedings. Lecture Notes in Computer Science 6143, Springer 2010, ISBN 978-3-642-13976-5 [contents] - [i1]Nadia Alshahwan, Yue Jia, Kiran Lakhotia, Gordon Fraser, David Shuler, Paolo Tonella:
AUTOMOCK: Automated Synthesis of a Mock Environment for Test Case Generation. Practical Software Testing: Tool Automation and Human Factors 2010
2000 – 2009
- 2009
- [j8]Martin Weiglhofer, Gordon Fraser, Franz Wotawa:
Using coverage to automate and improve test purpose based testing. Information & Software Technology 51(11): 1601-1617 (2009) - [j7]Gordon Fraser, Angelo Gargantini, Franz Wotawa:
On the order of test goals in specification-based testing. J. Log. Algebr. Program. 78(6): 472-490 (2009) - [j6]Gordon Fraser, Franz Wotawa, Paul Ammann:
Issues in using model checkers for test case generation. Journal of Systems and Software 82(9): 1403-1418 (2009) - [j5]Gordon Fraser, Franz Wotawa, Paul Ammann:
Testing with model checkers: a survey. Softw. Test., Verif. Reliab. 19(3): 215-261 (2009) - [c22]Gordon Fraser, Angelo Gargantini:
Experiments on the Test Case Length in Specification Based Test Case Generation. AST 2009: 18-26 - [c21]Gordon Fraser, Angelo Gargantini:
An Evaluation of Model Checkers for Specification Based Test Case Generation. ICST 2009: 41-50 - [c20]Martin Weiglhofer, Gordon Fraser, Franz Wotawa:
Using Spectrum-Based Fault Localization for Test Case Grouping. ASE 2009: 630-634 - [c19]Gordon Fraser, Franz Wotawa:
Increasing Diversity in Coverage Test Suites Using Model Checking. QSIC 2009: 211-218 - [c18]Gordon Fraser, Franz Wotawa:
Complementary Criteria for Testing Temporal Logic Properties. TAP 2009: 58-73 - 2008
- [j4]Gordon Fraser, Franz Wotawa:
Using model-checkers to generate and analyze property relevant test-cases. Software Quality Journal 16(2): 161-183 (2008) - [c17]
- [c16]Gordon Fraser, Franz Wotawa:
Ordering Coverage Goals in Model Checker Based Testing. ICST Workshops 2008: 31-40 - [c15]Gordon Fraser, Paul Ammann:
Reachability and Propagation for LTL Requirements Testing. QSIC 2008: 189-198 - [c14]Gordon Fraser, Martin Weiglhofer, Franz Wotawa:
Coverage Based Testing with Test Purposes. QSIC 2008: 199-208 - [c13]Harald Brandl, Gordon Fraser, Franz Wotawa:
Coverage-based Testing Using Qualitative Reasoning Models. SEKE 2008: 393-398 - [c12]Gordon Fraser, Martin Weiglhofer, Franz Wotawa:
Using Observer Automata to Select Test Cases for Test Purposes. SEKE 2008: 709-714 - 2007
- [j3]Gordon Fraser, Franz Wotawa:
Using formal methods for ensuring quality requirements of systems. Elektrotechnik und Informationstechnik 124(1-2): 13-16 (2007) - [j2]Gordon Fraser, Bernhard K. Aichernig, Franz Wotawa:
Handling Model Changes: Regression Testing and Test-Suite Update with Model-Checkers. Electr. Notes Theor. Comput. Sci. 190(2): 33-46 (2007) - [c11]Gordon Fraser, Franz Wotawa:
Using LTL rewriting to improve the performance of model-checker based test-case generation. A-MOST 2007: 64-74 - [c10]Duminda Wijesekera, Paul Ammann, Lingya Sun, Gordon Fraser:
Relating counterexamples to test cases in CTL model checking specifications. A-MOST 2007: 75-84 - [c9]
- [c8]Gordon Fraser, Franz Wotawa:
Creating Test-Cases Incrementally with Model-Checkers. GI Jahrestagung (2) 2007: 381-386 - [c7]