Items where Author is "Fraser, Gordon"

Up a level
Export as [feed] Atom [feed] RSS 1.0 [feed] RSS 2.0
Group by: Item Type | No Grouping
Number of items: 14.

Article

Galeotti, Juan Pablo and Furia, Carlo A. and May, Eva and Fraser, Gordon and Zeller, Andreas
(2015) Inferring Loop Invariants by Mutation, Dynamic Analysis, and Static Checking.
IEEE Transactions of Software Engineering, 41 (10). 1019–1037.

Galeotti, Juan P. and Furia, Carlo A. and May, Eva and Fraser, Gordon and Zeller, Andreas
(2014) Automating Full Functional Verification of Programs with Loops.
CoRR - Computing Research Repository, abs/14.

Dallmeier, Valentin and Knopp, Nikolai and Mallon, Christoph and Fraser, Gordon and Hack, Sebastian and Zeller, Andreas
(2012) Automatically Generating Test Cases for Specification Mining.
IEEE Transactions on Software Engineering, 38 (2). pp. 243-257.

Fraser, Gordon and Zeller, Andreas
(2012) Mutation-Driven Generation of Unit Tests and Oracles.
IEEE Transactions on Software Engineering, 38 (2). pp. 278-292.

Conference or Workshop Item

Salvesen, Kevin and Galeotti, Juan Pablo and Gross, Florian and Fraser, Gordon and Zeller, Andreas
(2015) Using Dynamic Symbolic Execution to Generate Inputs in Search-based GUI Testing.
In: Proceedings of the Eighth International Workshop on Search-Based Software Testing.
Conference: None | Not Set

Galeotti, Juan Pablo and Furia, Carlo A. and May, Eva and Fraser, Gordon and Zeller, Andreas
(2014) DynaMate: Dynamically Inferring Loop Invariants for Automatic Full Functional Verification.
In: Hardware and Software: Verification and Testing - 10th International Haifa Verification Conference, HVC 2014, Haifa, Israel, November 18-20, 2014. Proceedings.
Conference: None | Not Set

Jamrozik, Konrad and Fraser, Gordon and Tillmann, Nikolai and Halleux, Jonathan De
(2013) Generating Test Suites with Augmented Dynamic Symbolic Execution.
In: Proc. of the 7th International Conference on Tests and Proofs (TAP 2013).

Rößler, Jeremias and Zeller, Andreas and Fraser, Gordon and Zamfir, Cristian and Candea, George
(2013) Reconstructing Core Dumps.
In: Proc. of the Sixth International IEEE Conference on Software Testing, Verification and Validation (ICST 2013).
Conference: ICST - International Conference on Software Testing, Verification and Validation

Vivanti, Mattia and Mis, Andre and Gorla, Alessandra and Fraser, Gordon
(2013) Search-based data-flow test generation.
In: IEEE 24th International Symposium on Software Reliability Engineering, ISSRE 2013, Pasadena, CA, USA, November 4-7, 2013.

Gross, Florian and Fraser, Gordon and Zeller, Andreas
(2012) EXSYST: Search-based GUI testing.
In: Proc. of the 34th International Conference on Software Engineering (ICSE 2012).
Conference: ICSE - International Conference on Software Engineering

Rößler, Jeremias and Fraser, Gordon and Zeller, Andreas and Orso, Alessandro
(2012) Isolating failure causes through test case generation.
In: Proc. of the 2012 International Symposium on Software Testing and Analysis (ISSTA 2012).
Conference: ISSTA - International Symposium on Software Testing and Analysis

Gross, Florian and Fraser, Gordon and Zeller, Andreas
(2012) Search-based system testing: high coverage, no false alarms.
In: Proc. International Symposium on Software Testing and Analysis (ISSTA 2012).
Conference: ISSTA - International Symposium on Software Testing and Analysis

Fraser, Gordon and Zeller, Andreas
(2011) Exploiting Common Object Usage in Test Case Generation.
In: Fourth IEEE International Conference on Software Testing, Verification and Validation, ICST 2011, Berlin, Germany, March 21-25, 2011, Berlin, Germany.
Conference: ICST - International Conference on Software Testing, Verification and Validation

Fraser, Gordon and Zeller, Andreas
(2011) Generating parameterized unit tests.
In: Proceedings of the 20th International Symposium on Software Testing and Analysis, ISSTA 2011, Toronto, ON, Canada, July 17-21, 2011.
Conference: ISSTA - International Symposium on Software Testing and Analysis

This list was generated on Wed Apr 24 00:03:52 2019 CEST.