Alex Groce Home Page Coauthor index pubzone.org

List of publications from the DBLP Bibliography Server - FAQ
Other views: by type - by year (modern) - classic-C
Ask others: ACM DL/Guide - CiteSeerX - CSB - MetaPress - Google - Bing - Yahoo
DBLP keys2012
c34Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Alex Groce, Alan Fern, Martin Erwig, Jervis Pinto, Tim Bauer, Mohammad Amin Alipour: Learning-Based Test Programming for Programmers. ISoLA (1) 2012: 572-586
c33Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Alex Groce, Alan Fern, Jervis Pinto, Tim Bauer, Mohammad Amin Alipour, Martin Erwig, Camden Lopez: Lightweight Automated Testing with Adaptation-Based Programming. ISSRE 2012: 161-170
c32Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Mohammad Amin Alipour, Alex Groce: Extended program invariants: applications in testing and fault localization. WODA 2012: 7-11
c31Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Alex Groce, Martin Erwig: Finding common ground: choose, assert, and assume. WODA 2012: 12-17
c30Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Alex Groce, Chaoqiang Zhang, Eric Eide, Yang Chen, John Regehr: Swarm testing. ISSTA 2012: 78-88
2011
j10Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Gerard J. Holzmann, Rajeev Joshi, Alex Groce: Swarm Verification Techniques. IEEE Trans. Software Eng. 37(6): 845-857 (2011)
c29Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
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
c28Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Alex Groce: Coverage rewarded: Test input generation via adaptation-based programming. ASE 2011: 380-383
c27Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
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
e1Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Alex Groce, Madanlal Musuvathi (Eds.): Model Checking Software - 18th International SPIN Workshop, Snowbird, UT, USA, July 14-15, 2011. Proceedings. Lecture Notes in Computer Science 6823, Springer 2011, isbn 978-3-642-22305-1
2010
c26Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
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
c25Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Alex Groce: (Quickly) testing the tester via path coverage. WODA 2009: 22-28
c24Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Howard Barringer, Klaus Havelund, David E. Rydeheard, Alex Groce: Rule Systems for Runtime Verification: A Short Tutorial. RV 2009: 1-24
c23Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
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
2008
j9Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Gerard J. Holzmann, Rajeev Joshi, Alex Groce: Model driven code checking. Autom. Softw. Eng. 15(3-4): 283-297 (2008)
j8Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Alex Groce, Rajeev Joshi: Exploiting traces in static program analysis: better model checking through printf{{\tt printf}}s. STTT 10(2): 131-144 (2008)
c22Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Alex Groce, Rajeev Joshi: Random testing and model checking: building a common framework for nondeterministic exploration. WODA 2008: 22-28
c21Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Gerard J. Holzmann, Rajeev Joshi, Alex Groce: Swarm Verification. ASE 2008: 1-6
c20Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
James H. Andrews, Alex Groce, Melissa Weston, Ru-Gang Xu: Random Test Run Length and Effectiveness. ASE 2008: 19-28
c19Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Klaus Havelund, Alex Groce, Gerard J. Holzmann, Rajeev Joshi, Margaret H. Smith: Automated Testing of Planning Models. MoChArt 2008: 90-105
c18Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Gerard J. Holzmann, Rajeev Joshi, Alex Groce: New Challenges in Model Checking. 25 Years of Model Checking 2008: 65-76
c17Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Gerard J. Holzmann, Rajeev Joshi, Alex Groce: Tackling Large Verification Problems with the Swarm Tool. SPIN 2008: 134-143
c16Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Alex Groce, Rajeev Joshi: Extending Model Checking with Dynamic Analysis. VMCAI 2008: 142-156
2007
c15Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Alex Groce, Gerard J. Holzmann, Rajeev Joshi: Randomized Differential Testing as a Prelude to Formal Verification. ICSE 2007: 621-631
c14Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Nicolas Blanc, Alex Groce, Daniel Kroening: Verifying C++ with STL containers via predicate abstraction. ASE 2007: 521-524
2006
j7Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Alex Groce, Doron Peled, Mihalis Yannakakis: Adaptive Model Checking. Logic Journal of the IGPL 14(5): 729-744 (2006)
j6Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Alex Groce, Sagar Chaki, Daniel Kroening, Ofer Strichman: Error explanation with distance metrics. STTT 8(3): 229-247 (2006)
c13Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Alex Groce, Rajeev Joshi: Exploiting Traces in Program Analysis. TACAS 2006: 379-393
2005
j5Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Alex Groce, Daniel Kroening: Making the Most of BMC Counterexamples. Electr. Notes Theor. Comput. Sci. 119(2): 67-81 (2005)
2004
j4Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
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)
j3Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
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)
j2Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Alex Groce, Willem Visser: Heuristics for model checking Java programs. STTT 6(4): 260-276 (2004)
j1Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
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)
c12Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Alex Groce, Daniel Kroening, Flavio Lerda: Understanding Counterexamples with explain. CAV 2004: 453-456
c11Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Daniel Kroening, Alex Groce, Edmund M. Clarke: Counterexample Guided Abstraction Refinement Via Program Execution. ICFEM 2004: 224-238
c10Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Sagar Chaki, Alex Groce, Ofer Strichman: Explaining abstract counterexamples. SIGSOFT FSE 2004: 73-82
c9Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Alex Groce: Error Explanation with Distance Metrics. TACAS 2004: 108-122
2003
c8Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Sagar Chaki, Edmund M. Clarke, Alex Groce, Ofer Strichman: Predicate Abstraction with Minimum Predicates. CHARME 2003: 19-34
c7Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Sagar Chaki, Edmund M. Clarke, Alex Groce, Somesh Jha, Helmut Veith: Modular Verification of Software Components in C. ICSE 2003: 385-395
c6Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Alex Groce, Willem Visser: What Went Wrong: Explaining Counterexamples. SPIN 2003: 121-135
2002
c5Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Alex Groce, Doron Peled, Mihalis Yannakakis: AMC: An Adaptive Model Checker. CAV 2002: 521-525
c4Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Alex Groce, Willem Visser: Model checking Java programs using structural heuristics. ISSTA 2002: 12-21
c3Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Alex Groce, Willem Visser: Heuristic Model Checking for Java Programs. SPIN 2002: 242-245
c2Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Alex Groce, Doron Peled, Mihalis Yannakakis: Adaptive Model Checking. TACAS 2002: 357-370
2001
c1Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Girish Bhat, Rance Cleaveland, Alex Groce: Efficient Model Checking Via Büchi Tableau Automata. CAV 2001: 38-52

Coauthor Index

1Mohammad Amin Alipour
[c34] [c33] [c32]
2James H. Andrews (J. H. Andrews, Jamie Andrews)
[c20]
3Howard Barringer
[c24] [c23]
4Tim Bauer
[c34] [c33]
5Girish Bhat
[c1]
6Forrest Bice
[c29]
7Nicolas Blanc
[c14]
8Margaret M. Burnett
[c29] [c27]
9Sagar Chaki
[j6] [j3] [j1] [c10] [c8] [c7]
10Yang Chen
[c30]
11Edmund M. Clarke
[j4] [j3] [j1] [c11] [c8] [c7]
12Rance Cleaveland
[c1]
13William Curran
[c27]
14Shubhomoy Das
[c29]
15Eric Eide (Eric Norman Eide)
[c30]
16Martin Erwig
[c34] [c33] [c31]
17Marcia Falcão
[j4]
18Alan Fern
[c34] [c33]
19Klaus Havelund
[c26] [c24] [c23] [c19]
20Gerard J. Holzmann
[j10] [j9] [c21] [c19] [c18] [c17] [c15]
21Somesh Jha
[j1] [c7]
22Rajeev Joshi
[j10] [j9] [j8] [c22] [c21] [c19] [c18] [c17] [c16] [c15] [c13]
23Jorge Kanda
[j4]
24Daniel Kroening (Daniel Kröning)
[c14] [j6] [j5] [c12] [c11]
25Todd Kulesza
[c29] [c27]
26Flavio Lerda
[c12]
27Camden Lopez
[c33]
28Kevin McIntosh
[c29]
29Edjard Mota
[j4]
30Madanlal Musuvathi
[e1]
31Waleska Oliveira
[j4]
32Joël Ouaknine
[j3]
33Doron Peled
[j7] [c5] [c2]
34Jervis Pinto
[c34] [c33]
35John Regehr
[c30]
36David E. Rydeheard
[c24]
37Amber Shinsel
[c29] [c27]
38Margaret H. Smith
[c26] [c23] [c19]
39Ofer Strichman
[j6] [j3] [c10] [c8]
40Simone Stumpf
[c29] [c27]
41Helmut Veith
[j1] [c7]
42Willem Visser
[j2] [c6] [c4] [c3]
43Melissa Weston
[c20]
44Weng-Keen Wong
[c29] [c27]
45Ru-Gang Xu
[c20]
46Mihalis Yannakakis
[j7] [c5] [c2]
47Karen Yorav (Karen Laster)
[j3]
48Chaoqiang Zhang
[c30]

Colors in the list of coauthors

Last update Fri May 24 08:39:35 2013 CET by the DBLP TeamThis material is Open Data Data released under the ODC-BY 1.0 license — See also our legal information page