Alex Groce

	2011
39		Alex Groce, Madanlal Musuvathi: Model Checking Software - 18th International SPIN Workshop, Snowbird, UT, USA, July 14-15, 2011. Proceedings Springer 2011
38		Alex Groce: Coverage rewarded: Test input generation via adaptation-based programming. ASE 2011: 380-383
37		Todd Kulesza, Margaret M. Burnett, Simone Stumpf, Weng-Keen Wong, Shubhomoy Das, Alex Groce, Amber Shinsel, Forrest Bice, Kevin McIntosh: Where Are My Intelligent Assistant's Mistakes? A Systematic Testing Approach. IS-EUD 2011: 171-186
36		Amber Shinsel, Todd Kulesza, Margaret M. Burnett, William Curran, Alex Groce, Simone Stumpf, Weng-Keen Wong: Mini-crowdsourcing end-user assessment of intelligent assistants: A cost-benefit study. VL/HCC 2011: 47-54
35		Gerard J. Holzmann, Rajeev Joshi, Alex Groce: Swarm Verification Techniques. IEEE Trans. Software Eng. 37(6): 845-857 (2011)
	2010
34		Alex Groce, Klaus Havelund, Margaret H. Smith: From scripts to specifications: the evolution of a flight software testing effort. ICSE (2) 2010: 129-138
	2009
33		Howard Barringer, Alex Groce, Klaus Havelund, Margaret H. Smith: An Entry Point for Formal Methods: Specification and Analysis of Event Logs FMA 2009: 16-21
32		Howard Barringer, Klaus Havelund, David E. Rydeheard, Alex Groce: Rule Systems for Runtime Verification: A Short Tutorial. RV 2009: 1-24
	2008
31		Gerard J. Holzmann, Rajeev Joshi, Alex Groce: New Challenges in Model Checking. 25 Years of Model Checking 2008: 65-76
30		Gerard J. Holzmann, Rajeev Joshi, Alex Groce: Swarm Verification. ASE 2008: 1-6
29		James H. Andrews, Alex Groce, Melissa Weston, Ru-Gang Xu: Random Test Run Length and Effectiveness. ASE 2008: 19-28
28		Klaus Havelund, Alex Groce, Gerard J. Holzmann, Rajeev Joshi, Margaret H. Smith: Automated Testing of Planning Models. MoChArt 2008: 90-105
27		Gerard J. Holzmann, Rajeev Joshi, Alex Groce: Tackling Large Verification Problems with the Swarm Tool. SPIN 2008: 134-143
26		Alex Groce, Rajeev Joshi: Extending Model Checking with Dynamic Analysis. VMCAI 2008: 142-156
25		Alex Groce, Rajeev Joshi: Random testing and model checking: building a common framework for nondeterministic exploration. WODA 2008: 22-28
24		Gerard J. Holzmann, Rajeev Joshi, Alex Groce: Model driven code checking. Autom. Softw. Eng. 15(3-4): 283-297 (2008)
23		Alex Groce, Rajeev Joshi: Exploiting traces in static program analysis: better model checking through printf{{\tt printf}}s. STTT 10(2): 131-144 (2008)
	2007
22		Nicolas Blanc, Alex Groce, Daniel Kroening: Verifying C++ with STL containers via predicate abstraction. ASE 2007: 521-524
21		Alex Groce, Gerard J. Holzmann, Rajeev Joshi: Randomized Differential Testing as a Prelude to Formal Verification. ICSE 2007: 621-631
	2006
20		Alex Groce, Rajeev Joshi: Exploiting Traces in Program Analysis. TACAS 2006: 379-393
19		Alex Groce, Doron Peled, Mihalis Yannakakis: Adaptive Model Checking. Logic Journal of the IGPL 14(5): 729-744 (2006)
18		Alex Groce, Sagar Chaki, Daniel Kroening, Ofer Strichman: Error explanation with distance metrics. STTT 8(3): 229-247 (2006)
	2005
17		Alex Groce, Daniel Kroening: Making the Most of BMC Counterexamples. Electr. Notes Theor. Comput. Sci. 119(2): 67-81 (2005)
	2004
16		Alex Groce, Daniel Kroening, Flavio Lerda: Understanding Counterexamples with explain. CAV 2004: 453-456
15		Daniel Kroening, Alex Groce, Edmund M. Clarke: Counterexample Guided Abstraction Refinement Via Program Execution. ICFEM 2004: 224-238
14		Sagar Chaki, Alex Groce, Ofer Strichman: Explaining abstract counterexamples. SIGSOFT FSE 2004: 73-82
13		Alex Groce: Error Explanation with Distance Metrics. TACAS 2004: 108-122
12		Edjard Mota, Edmund M. Clarke, Alex Groce, Waleska Oliveira, Marcia Falcão, Jorge Kanda: VeriAgent: an Approach to Integrating UML and Formal Verification Tools. Electr. Notes Theor. Comput. Sci. 95: 111-129 (2004)
11		Sagar Chaki, Edmund M. Clarke, Alex Groce, Joël Ouaknine, Ofer Strichman, Karen Yorav: Efficient Verification of Sequential and Concurrent C Programs. Formal Methods in System Design 25(2-3): 129-166 (2004)
10		Sagar Chaki, Edmund M. Clarke, Alex Groce, Somesh Jha, Helmut Veith: Modular Verification of Software Components in C. IEEE Trans. Software Eng. 30(6): 388-402 (2004)
9		Alex Groce, Willem Visser: Heuristics for model checking Java programs. STTT 6(4): 260-276 (2004)
	2003
8		Sagar Chaki, Edmund M. Clarke, Alex Groce, Ofer Strichman: Predicate Abstraction with Minimum Predicates. CHARME 2003: 19-34
7		Sagar Chaki, Edmund M. Clarke, Alex Groce, Somesh Jha, Helmut Veith: Modular Verification of Software Components in C. ICSE 2003: 385-395
6		Alex Groce, Willem Visser: What Went Wrong: Explaining Counterexamples. SPIN 2003: 121-135
	2002
5		Alex Groce, Doron Peled, Mihalis Yannakakis: AMC: An Adaptive Model Checker. CAV 2002: 521-525
4		Alex Groce, Willem Visser: Model checking Java programs using structural heuristics. ISSTA 2002: 12-21
3		Alex Groce, Willem Visser: Heuristic Model Checking for Java Programs. SPIN 2002: 242-245
2		Alex Groce, Doron Peled, Mihalis Yannakakis: Adaptive Model Checking. TACAS 2002: 357-370
	2001
1		Girish Bhat, Rance Cleaveland, Alex Groce: Efficient Model Checking Via Büchi Tableau Automata. CAV 2001: 38-52

Coauthor Index

1	James H. Andrews (J. H. Andrews, Jamie Andrews)	[29]
2	Howard Barringer	[32] [33]
3	Girish Bhat	[1]
4	Forrest Bice	[37]
5	Nicolas Blanc	[22]
6	Margaret M. Burnett	[36] [37]
7	Sagar Chaki	[7] [8] [10] [11] [14] [18]
8	Edmund M. Clarke	[7] [8] [10] [11] [12] [15]
9	Rance Cleaveland	[1]
10	William Curran	[36]
11	Shubhomoy Das	[37]
12	Marcia Falcão	[12]
13	Klaus Havelund	[28] [32] [33] [34]
14	Gerard J. Holzmann	[21] [24] [27] [28] [30] [31] [35]
15	Somesh Jha	[7] [10]
16	Rajeev Joshi	[20] [21] [23] [24] [25] [26] [27] [28] [30] [31] [35]
17	Jorge Kanda	[12]
18	Daniel Kroening (Daniel Kröning)	[15] [16] [17] [18] [22]
19	Todd Kulesza	[36] [37]
20	Flavio Lerda	[16]
21	Kevin McIntosh	[37]
22	Edjard Mota	[12]
23	Madanlal Musuvathi	[39]
24	Waleska Oliveira	[12]
25	Joël Ouaknine	[11]
26	Doron Peled	[2] [5] [19]
27	David E. Rydeheard	[32]
28	Amber Shinsel	[36] [37]
29	Margaret H. Smith	[28] [33] [34]
30	Ofer Strichman	[8] [11] [14] [18]
31	Simone Stumpf	[36] [37]
32	Helmut Veith	[7] [10]
33	Willem Visser	[3] [4] [6] [9]
34	Melissa Weston	[29]
35	Weng-Keen Wong	[36] [37]
36	Ru-Gang Xu	[29]
37	Mihalis Yannakakis	[2] [5] [19]
38	Karen Yorav (Karen Laster)	[11]

Colors in the list of coauthors

Last update Thu May 31 18:55:10 2012 CET by the DBLP Team — Data released under the ODC-BY 1.0 license — See also our legal information page