Search    Browse

The FacetedDBLP logo    Search for: in:

Disable automatic phrases ?     Syntactic query expansion: ?

Publications of "Alex Groce" ( http://dblp.L3S.de/Authors/Alex_Groce )

URL (Homepage):  http://www-2.cs.cmu.edu/~agroce/  Author page on DBLP  Author page in RDF  Community of Alex Groce in ASPL-2

Publication years (Num. hits)
2001-2004 (16) 2005-2008 (15) 2009-2011 (8)
Publication types (Num. hits)
article(10) inproceedings(28) proceedings(1)
Venues (Conferences, Journals, ...)
ASE(4) SPIN(4) CAV(3) ICSE(3) STTT(3) TACAS(3) Electr. Notes Theor. Comput. S...(2) IEEE Trans. Software Eng.(2) 25 Years of Model Checking(1) Autom. Softw. Eng.(1) CHARME(1) FMA(1) Formal Methods in System Desig...(1) ICFEM(1) IS-EUD(1) ISSTA(1) More (+10 of total 23)
Authors
Alex Groce(39) Rajeev Joshi(11) Gerard J. Holzmann(7) Edmund M. Clarke(6) Sagar Chaki(6) Daniel Kroening(5) Klaus Havelund(4) Ofer Strichman(4) Willem Visser(4) Doron Peled(3) Margaret H. Smith(3) Mihalis Yannakakis(3) Amber Shinsel(2) Helmut Veith(2) Howard Barringer(2) Margaret M. Burnett(2) More (+10 of total 39)
GrowBag graphs for keyword ? (Num. hits/coverage)

Group by:
The graphs summarize 50 occurrences of 34 keywords
Results
Found 39 publication records. Showing 39 according to the selection in the facets
Hits ?▲ Authors Title Venue Year Link Author keywords
1Gerard J. Holzmann, Rajeev Joshi, Alex Groce Swarm Verification Techniques. Search on Bibsonomy IEEE Trans. Software Eng. The full citation details ... 2011 DBLP  DOI  BibTeX  RDF
1Amber 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. Search on Bibsonomy VL/HCC The full citation details ... 2011 DBLP  DOI  BibTeX  RDF
1Alex Groce Coverage rewarded: Test input generation via adaptation-based programming. Search on Bibsonomy ASE The full citation details ... 2011 DBLP  DOI  BibTeX  RDF
1Todd 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. Search on Bibsonomy IS-EUD The full citation details ... 2011 DBLP  DOI  BibTeX  RDF
1Alex Groce, Madanlal Musuvathi (eds.) Model Checking Software - 18th International SPIN Workshop, Snowbird, UT, USA, July 14-15, 2011. Proceedings Search on Bibsonomy SPIN The full citation details ... 2011 DBLP  DOI  BibTeX  RDF
1Alex Groce, Klaus Havelund, Margaret H. Smith From scripts to specifications: the evolution of a flight software testing effort. Search on Bibsonomy ICSE The full citation details ... 2010 DBLP  DOI  BibTeX  RDF development practices, space flight software, test infrastructure, testing, temporal logic, Python, logs, runtime verification
1Howard Barringer, Alex Groce, Klaus Havelund, Margaret H. Smith An Entry Point for Formal Methods: Specification and Analysis of Event Logs Search on Bibsonomy FMA The full citation details ... 2009 DBLP  DOI  BibTeX  RDF
1Howard Barringer, Klaus Havelund, David E. Rydeheard, Alex Groce Rule Systems for Runtime Verification: A Short Tutorial. Search on Bibsonomy RV The full citation details ... 2009 DBLP  DOI  BibTeX  RDF Java, temporal logic, Python, AspectJ, Runtime verification, log file analysis, code instrumentation, rule systems
1Gerard J. Holzmann, Rajeev Joshi, Alex Groce Model driven code checking. Search on Bibsonomy Autom. Softw. Eng. The full citation details ... 2008 DBLP  DOI  BibTeX  RDF Logic model checking, Embedded C code, Software verification, Spin model checker
1Alex Groce, Rajeev Joshi Exploiting traces in static program analysis: better model checking through printf{{\tt printf}}s. Search on Bibsonomy STTT The full citation details ... 2008 DBLP  DOI  BibTeX  RDF
1Alex Groce, Rajeev Joshi Random testing and model checking: building a common framework for nondeterministic exploration. Search on Bibsonomy WODA The full citation details ... 2008 DBLP  DOI  BibTeX  RDF model checking, dynamic analysis, random testing, test frameworks
1James H. Andrews, Alex Groce, Melissa Weston, Ru-Gang Xu Random Test Run Length and Effectiveness. Search on Bibsonomy ASE The full citation details ... 2008 DBLP  DOI  BibTeX  RDF
1Gerard J. Holzmann, Rajeev Joshi, Alex Groce Swarm Verification. Search on Bibsonomy ASE The full citation details ... 2008 DBLP  DOI  BibTeX  RDF
1Gerard J. Holzmann, Rajeev Joshi, Alex Groce New Challenges in Model Checking. Search on Bibsonomy 25 Years of Model Checking The full citation details ... 2008 DBLP  DOI  BibTeX  RDF Logic model checking, grand challenge project, flash file system challenge, software reliability, software verification, software structure
1Gerard J. Holzmann, Rajeev Joshi, Alex Groce Tackling Large Verification Problems with the Swarm Tool. Search on Bibsonomy SPIN The full citation details ... 2008 DBLP  DOI  BibTeX  RDF
1Klaus Havelund, Alex Groce, Gerard J. Holzmann, Rajeev Joshi, Margaret H. Smith Automated Testing of Planning Models. Search on Bibsonomy MoChArt The full citation details ... 2008 DBLP  DOI  BibTeX  RDF
1Alex Groce, Rajeev Joshi Extending Model Checking with Dynamic Analysis. Search on Bibsonomy VMCAI The full citation details ... 2008 DBLP  DOI  BibTeX  RDF
1Nicolas Blanc, Alex Groce, Daniel Kroening Verifying C++ with STL containers via predicate abstraction. Search on Bibsonomy ASE The full citation details ... 2007 DBLP  DOI  BibTeX  RDF model checking, verification, C++, iterator, predicate abstraction, STL
1Alex Groce, Gerard J. Holzmann, Rajeev Joshi Randomized Differential Testing as a Prelude to Formal Verification. Search on Bibsonomy ICSE The full citation details ... 2007 DBLP  DOI  BibTeX  RDF
1Alex Groce, Doron Peled, Mihalis Yannakakis Adaptive Model Checking. Search on Bibsonomy Logic Journal of the IGPL The full citation details ... 2006 DBLP  DOI  BibTeX  RDF
1Alex Groce, Sagar Chaki, Daniel Kroening, Ofer Strichman Error explanation with distance metrics. Search on Bibsonomy STTT The full citation details ... 2006 DBLP  DOI  BibTeX  RDF Error explanation, Model checking, Fault localization, Automated debugging
1Alex Groce, Rajeev Joshi Exploiting Traces in Program Analysis. Search on Bibsonomy TACAS The full citation details ... 2006 DBLP  DOI  BibTeX  RDF
1Alex Groce, Daniel Kroening Making the Most of BMC Counterexamples. Search on Bibsonomy Electr. Notes Theor. Comput. Sci. The full citation details ... 2005 DBLP  DOI  BibTeX  RDF
1Sagar Chaki, Edmund M. Clarke, Alex Groce, Somesh Jha, Helmut Veith Modular Verification of Software Components in C. Search on Bibsonomy IEEE Trans. Software Eng. The full citation details ... 2004 DBLP  DOI  BibTeX  RDF
1Edjard Mota, Edmund M. Clarke, Alex Groce, Waleska Oliveira, Marcia Falcão, Jorge Kanda VeriAgent: an Approach to Integrating UML and Formal Verification Tools. Search on Bibsonomy Electr. Notes Theor. Comput. Sci. The full citation details ... 2004 DBLP  DOI  BibTeX  RDF
1Alex Groce, Willem Visser Heuristics for model checking Java programs. Search on Bibsonomy STTT The full citation details ... 2004 DBLP  DOI  BibTeX  RDF Model checking, Testing, Heuristic search, Coverage metrics
1Sagar Chaki, Edmund M. Clarke, Alex Groce, Joël Ouaknine, Ofer Strichman, Karen Yorav Efficient Verification of Sequential and Concurrent C Programs. Search on Bibsonomy Formal Methods in System Design The full citation details ... 2004 DBLP  DOI  BibTeX  RDF concurrency, process algebra, software verification, predicate abstraction, abstraction refinement
1Daniel Kroening, Alex Groce, Edmund M. Clarke Counterexample Guided Abstraction Refinement Via Program Execution. Search on Bibsonomy ICFEM The full citation details ... 2004 DBLP  DOI  BibTeX  RDF
1Alex Groce Error Explanation with Distance Metrics. Search on Bibsonomy TACAS The full citation details ... 2004 DBLP  DOI  BibTeX  RDF
1Alex Groce, Daniel Kroening, Flavio Lerda Understanding Counterexamples with explain. Search on Bibsonomy CAV The full citation details ... 2004 DBLP  DOI  BibTeX  RDF
1Sagar Chaki, Alex Groce, Ofer Strichman Explaining abstract counterexamples. Search on Bibsonomy SIGSOFT FSE The full citation details ... 2004 DBLP  DOI  BibTeX  RDF model checking, fault localization, predicate abstraction
1Sagar Chaki, Edmund M. Clarke, Alex Groce, Ofer Strichman Predicate Abstraction with Minimum Predicates. Search on Bibsonomy CHARME The full citation details ... 2003 DBLP  DOI  BibTeX  RDF
1Alex Groce, Willem Visser What Went Wrong: Explaining Counterexamples. Search on Bibsonomy SPIN The full citation details ... 2003 DBLP  DOI  BibTeX  RDF
1Sagar Chaki, Edmund M. Clarke, Alex Groce, Somesh Jha, Helmut Veith Modular Verification of Software Components in C. (PDF / PS) Search on Bibsonomy ICSE The full citation details ... 2003 DBLP  DOI  BibTeX  RDF
1Alex Groce, Doron Peled, Mihalis Yannakakis Adaptive Model Checking. Search on Bibsonomy TACAS The full citation details ... 2002 DBLP  DOI  BibTeX  RDF Learning Algorithms, Automatic Verification, Black Box Testing
1Alex Groce, Willem Visser Model checking Java programs using structural heuristics. Search on Bibsonomy ISSTA The full citation details ... 2002 DBLP  DOI  BibTeX  RDF model checking, testing, heuristics, coverage metrics
1Alex Groce, Willem Visser Heuristic Model Checking for Java Programs. Search on Bibsonomy SPIN The full citation details ... 2002 DBLP  DOI  BibTeX  RDF
1Alex Groce, Doron Peled, Mihalis Yannakakis AMC: An Adaptive Model Checker. Search on Bibsonomy CAV The full citation details ... 2002 DBLP  DOI  BibTeX  RDF
1Girish Bhat, Rance Cleaveland, Alex Groce Efficient Model Checking Via Büchi Tableau Automata. Search on Bibsonomy CAV The full citation details ... 2001 DBLP  DOI  BibTeX  RDF
Displaying result #1 - #39 of 39 (100 per page; Change: )
Valid XHTML 1.1! Valid CSS! [Valid RSS]
Maintained by Jörg Diederich.
Based upon DBLP by Michael Ley.