Gordon Fraser

	2012
46		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)
45		Gordon Fraser, Andreas Zeller: Mutation-Driven Generation of Unit Tests and Oracles. IEEE Trans. Software Eng. 38(2): 278-292 (2012)
	2011
44		Jan Malburg, Gordon Fraser: Combining search-based and constraint-based testing. ASE 2011: 436-439
43		Rohan Sharma, Milos Gligoric, Andrea Arcuri, Gordon Fraser, Darko Marinov: Testing Container Classes: Random or Systematic? FASE 2011: 262-277
42		Gordon Fraser, Andrea Arcuri: It is Not the Length That Matters, It is How You Control It. ICST 2011: 150-159
41		Gordon Fraser, Andreas Zeller: Exploiting Common Object Usage in Test Case Generation. ICST 2011: 80-89
40		Gordon Fraser, Andreas Zeller: Generating parameterized unit tests. ISSTA 2011: 364-374
39		Gordon Fraser, Andrea Arcuri: Evolutionary Generation of Whole Test Suites. QSIC 2011: 31-40
38		Gordon Fraser, Andrea Arcuri: EvoSuite: automatic test suite generation for object-oriented software. SIGSOFT FSE 2011: 416-419
37		Yanchuan Li, Gordon Fraser: Bytecode Testability Transformation. SSBSE 2011: 237-251
36		Andrea Arcuri, Gordon Fraser: On Parameter Tuning in Search Based Software Engineering. SSBSE 2011: 33-47
35		Benoit Baudry, Jeremy S. Bradbury, Gordon Fraser: Guest Editorial for Special Section on Mutation Testing. Information & Software Technology 53(10): 1097 (2011)
34		Angelo Gargantini, Gordon Fraser: Generating minimal fault detecting test suites for general Boolean specifications. Information & Software Technology 53(11): 1263-1273 (2011)
	2010
33		Gordon Fraser, Angelo Gargantini: Tests and Proofs, 4th International Conference, TAP 2010, Málaga, Spain, July 1-2, 2010. Proceedings Springer 2010
32		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 Springer 2010
31		Gordon Fraser, Angelo Gargantini: Generating Minimal Fault Detecting Test Suites for Boolean Expressions. ICST Workshops 2010: 37-45
30		Gordon Fraser, Andreas Zeller: Mutation-driven generation of unit tests and oracles. ISSTA 2010: 147-158
	2009
29		Martin Weiglhofer, Gordon Fraser, Franz Wotawa: Using Spectrum-Based Fault Localization for Test Case Grouping. ASE 2009: 630-634
28		Gordon Fraser, Angelo Gargantini: Experiments on the Test Case Length in Specification Based Test Case Generation. AST 2009: 18-26
27		Gordon Fraser, Angelo Gargantini: An Evaluation of Model Checkers for Specification Based Test Case Generation. ICST 2009: 41-50
26		Gordon Fraser, Franz Wotawa: Increasing Diversity in Coverage Test Suites Using Model Checking. QSIC 2009: 211-218
25		Gordon Fraser, Franz Wotawa: Complementary Criteria for Testing Temporal Logic Properties. TAP 2009: 58-73
24		Martin Weiglhofer, Gordon Fraser, Franz Wotawa: Using coverage to automate and improve test purpose based testing. Information & Software Technology 51(11): 1601-1617 (2009)
23		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)
22		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)
21		Gordon Fraser, Franz Wotawa, Paul Ammann: Testing with model checkers: a survey. Softw. Test., Verif. Reliab. 19(3): 215-261 (2009)
	2008
20		Harald Brandl, Gordon Fraser, Franz Wotawa: QR-Model Based Testing. AST 2008: 17-20
19		Gordon Fraser, Paul Ammann: Reachability and Propagation for LTL Requirements Testing. QSIC 2008: 189-198
18		Gordon Fraser, Martin Weiglhofer, Franz Wotawa: Coverage Based Testing with Test Purposes. QSIC 2008: 199-208
17		Harald Brandl, Gordon Fraser, Franz Wotawa: Coverage-based Testing Using Qualitative Reasoning Models. SEKE 2008: 393-398
16		Gordon Fraser, Martin Weiglhofer, Franz Wotawa: Using Observer Automata to Select Test Cases for Test Purposes. SEKE 2008: 709-714
15		Gordon Fraser, Franz Wotawa: Using model-checkers to generate and analyze property relevant test-cases. Software Quality Journal 16(2): 161-183 (2008)
	2007
14		Gordon Fraser, Franz Wotawa: Using LTL rewriting to improve the performance of model-checker based test-case generation. A-MOST 2007: 64-74
13		Duminda Wijesekera, Paul Ammann, Lingya Sun, Gordon Fraser: Relating counterexamples to test cases in CTL model checking specifications. A-MOST 2007: 75-84
12		Gordon Fraser, Franz Wotawa: Redundancy Based Test-Suite Reduction. FASE 2007: 291-305
11		Gordon Fraser, Franz Wotawa: Creating Test-Cases Incrementally with Model-Checkers. GI Jahrestagung (2) 2007: 381-386
10		Gordon Fraser, Franz Wotawa: Test-Case Generation and Coverage Analysis for Nondeterministic Systems Using Model-Checkers. ICSEA 2007: 45
9		Gordon Fraser, Franz Wotawa: Nondeterministic Testing with Linear Model-Checker Counterexamples. QSIC 2007: 107-116
8		Gordon Fraser, Franz Wotawa: Improving Model-Checkers for Software Testing. QSIC 2007: 25-31
7		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)
6		Gordon Fraser, Franz Wotawa: Using formal methods for ensuring quality requirements of systems. Elektrotechnik und Informationstechnik 124(1-2): 13-16 (2007)
	2006
5		Gordon Fraser, Franz Wotawa: Using Model-Checkers for Mutation-Based Test-Case Generation, Coverage Analysis and Specification Analysis. ICSEA 2006: 16
4		Gordon Fraser, Franz Wotawa: Property relevant software testing with model-checkers. ACM SIGSOFT Software Engineering Notes 31(6): 1-10 (2006)
	2005
3		Gordon Fraser, Gerald Steinbauer, Franz Wotawa: Plan Execution in Dynamic Environments. IEA/AIE 2005: 208-217
	2004
2		Gerald Steinbauer, Gordon Fraser, Arndt Mühlenfeld, Franz Wotawa: A Modular Architecture for a Multi-purpose Mobile Robot. IEA/AIE 2004: 1007-1015
1		Gordon Fraser, Franz Wotawa: Cooperative Planning and Plan Execution in Partially Observable Dynamic Domains. RobuCup 2004: 524-531

Coauthor Index

1	Bernhard K. Aichernig	[7]
2	Paul Ammann	[13] [19] [21] [22]
3	Andrea Arcuri	[36] [38] [39] [42] [43]
4	Benoit Baudry	[35]
5	Leonardo Bottaci	[32]
6	Jeremy S. Bradbury	[35]
7	Harald Brandl	[17] [20]
8	Valentin Dallmeier	[46]
9	Angelo Gargantini	[23] [27] [28] [31] [33] [34]
10	Milos Gligoric	[43]
11	Sebastian Hack	[46]
12	Nikolai Knopp	[46]
13	Yanchuan Li	[37]
14	Jan Malburg	[44]
15	Christoph Mallon	[46]
16	Darko Marinov	[43]
17	Arndt Mühlenfeld	[2]
18	Rohan Sharma	[43]
19	Gerald Steinbauer	[2] [3]
20	Lingya Sun	[13]
21	Martin Weiglhofer	[16] [18] [24] [29]
22	Duminda Wijesekera	[13]
23	Franz Wotawa	[1] [2] [3] [4] [5] [6] [7] [8] [9] [10] [11] [12] [14] [15] [16] [17] [18] [20] [21] [22] [23] [24] [25] [26] [29]
24	Andreas Zeller	[30] [40] [41] [45] [46]

Colors in the list of coauthors

Last update Tue May 29 20:41:18 2012 CET by the DBLP Team — Data released under the ODC-BY 1.0 license — See also our legal information page