Please note: This is a beta version of the new dblp website.
You can find the classic dblp view of this page here.
You can find the classic dblp view of this page here.
Alex Groce
2010 – today
- 2013
[c35]Yang Chen, Alex Groce, Chaoqiang Zhang, Weng-Keen Wong, Xiaoli Fern, Eric Eide, John Regehr: Taming compiler fuzzers. PLDI 2013: 197-208- 2012
- [c34]Alex Groce, Alan Fern, Martin Erwig, Jervis Pinto, Tim Bauer, Mohammad Amin Alipour: Learning-Based Test Programming for Programmers. ISoLA (1) 2012: 572-586
- [c33]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
- [c32]Mohammad Amin Alipour, Alex Groce: Extended program invariants: applications in testing and fault localization. WODA 2012: 7-11
- [c31]
- [c30]
- 2011
- [j10]Gerard J. Holzmann, Rajeev Joshi, Alex Groce: Swarm Verification Techniques. IEEE Trans. Software Eng. 37(6): 845-857 (2011)
- [c29]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
- [c28]Alex Groce: Coverage rewarded: Test input generation via adaptation-based programming. ASE 2011: 380-383
- [c27]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
- [e1]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
- [c26]Alex Groce, Klaus Havelund, Margaret H. Smith: From scripts to specifications: the evolution of a flight software testing effort. ICSE (2) 2010: 129-138
2000 – 2009
- 2009
- [c25]
- [c24]Howard Barringer, Klaus Havelund, David E. Rydeheard, Alex Groce: Rule Systems for Runtime Verification: A Short Tutorial. RV 2009: 1-24
- [c23]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
- [j9]Gerard J. Holzmann, Rajeev Joshi, Alex Groce: Model driven code checking. Autom. Softw. Eng. 15(3-4): 283-297 (2008)
- [j8]Alex Groce, Rajeev Joshi: Exploiting traces in static program analysis: better model checking through printf{{\tt printf}}s. STTT 10(2): 131-144 (2008)
- [c22]Alex Groce, Rajeev Joshi: Random testing and model checking: building a common framework for nondeterministic exploration. WODA 2008: 22-28
- [c21]
- [c20]James H. Andrews, Alex Groce, Melissa Weston, Ru-Gang Xu: Random Test Run Length and Effectiveness. ASE 2008: 19-28
- [c19]Klaus Havelund, Alex Groce, Gerard J. Holzmann, Rajeev Joshi, Margaret H. Smith: Automated Testing of Planning Models. MoChArt 2008: 90-105
- [c18]Gerard J. Holzmann, Rajeev Joshi, Alex Groce: New Challenges in Model Checking. 25 Years of Model Checking 2008: 65-76
- [c17]Gerard J. Holzmann, Rajeev Joshi, Alex Groce: Tackling Large Verification Problems with the Swarm Tool. SPIN 2008: 134-143
- [c16]
- 2007
- [c15]Alex Groce, Gerard J. Holzmann, Rajeev Joshi: Randomized Differential Testing as a Prelude to Formal Verification. ICSE 2007: 621-631
- [c14]Nicolas Blanc, Alex Groce, Daniel Kroening: Verifying C++ with STL containers via predicate abstraction. ASE 2007: 521-524
- 2006
- [j7]Alex Groce, Doron Peled, Mihalis Yannakakis: Adaptive Model Checking. Logic Journal of the IGPL 14(5): 729-744 (2006)
- [j6]Alex Groce, Sagar Chaki, Daniel Kroening, Ofer Strichman: Error explanation with distance metrics. STTT 8(3): 229-247 (2006)
- [c13]
- 2005
- [j5]Alex Groce, Daniel Kroening: Making the Most of BMC Counterexamples. Electr. Notes Theor. Comput. Sci. 119(2): 67-81 (2005)
- 2004
- [j4]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)
- [j3]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)
- [j2]
- [j1]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)
- [c12]Alex Groce, Daniel Kroening, Flavio Lerda: Understanding Counterexamples with explain. CAV 2004: 453-456
- [c11]Daniel Kroening, Alex Groce, Edmund M. Clarke: Counterexample Guided Abstraction Refinement Via Program Execution. ICFEM 2004: 224-238
- [c10]Sagar Chaki, Alex Groce, Ofer Strichman: Explaining abstract counterexamples. SIGSOFT FSE 2004: 73-82
- [c9]
- 2003
- [c8]Sagar Chaki, Edmund M. Clarke, Alex Groce, Ofer Strichman: Predicate Abstraction with Minimum Predicates. CHARME 2003: 19-34
- [c7]Sagar Chaki, Edmund M. Clarke, Alex Groce, Somesh Jha, Helmut Veith: Modular Verification of Software Components in C. ICSE 2003: 385-395
- [c6]
- 2002
- [c5]
- [c4]Alex Groce, Willem Visser: Model checking Java programs using structural heuristics. ISSTA 2002: 12-21
- [c3]
- [c2]
- 2001
- [c1]Girish Bhat, Rance Cleaveland, Alex Groce: Efficient Model Checking Via Büchi Tableau Automata. CAV 2001: 38-52
Coauthor Index
data released under the ODC-BY 1.0 license. See also our legal information page
last updated on 2013-06-11 09:48 CEST by the dblp team