BibSLEIGH
BibSLEIGH corpus
BibSLEIGH tags
BibSLEIGH bundles
BibSLEIGH people
EDIT!
CC-BY
Open Knowledge
XHTML 1.0 W3C Rec
CSS 2.1 W3C CanRec
email twitter
Travelled to:
1 × Austria
1 × Denmark
1 × India
1 × South Africa
1 × Spain
1 × Switzerland
12 × USA
2 × France
2 × Italy
Collaborated with:
R.Joshi M.A.Alipour R.Gopinath C.Zhang C.Jensen G.J.Holzmann D.Kröning D.Peled M.Yannakakis Y.Chen J.Regehr S.Chaki W.Visser D.Marinov E.Eide K.Havelund M.H.Smith N.Blanc F.Lerda O.Strichman G.Bhat R.Cleaveland D.Le J.H.Andrews M.Weston R.Xu I.Ahmed P.E.McKenney E.M.Clarke S.Jha H.Veith A.Shi I.A.0001 C.Brindescu M.Gligoric R.Sharma W.Wong X.Fern M.Mossberg F.Manzano E.Hennenfent G.Grieco J.Feist T.Brunson A.Dinaburg
Talks about:
test (10) model (5) check (5) program (4) coverag (4) verif (4) reduct (3) adapt (3) use (3) counterexampl (2)

Person: Alex Groce

DBLP DBLP: Groce:Alex

Facilitated 1 volumes:

ASE 2013PrCo

Contributed to:

ICSE 20142014
ICST 20142014
ISSTA 20142014
Onward! 20142014
ISSTA 20132013
PLDI 20132013
ISSTA 20122012
ASE 20112011
ICSE 20102010
ASE 20082008
VMCAI 20082008
ASE 20072007
ICSE 20072007
TACAS 20062006
CAV 20042004
FSE 20042004
TACAS 20042004
ICSE 20032003
CAV 20022002
ISSTA 20022002
TACAS 20022002
CAV 20012001
ASE 20152015
ASE 20162016
FSE 20162016
ASE 20192019

Wrote 28 papers:

ICSE-2014-GopinathJG #developer #evaluation #test coverage
Code coverage for suite evaluation by developers (RG, CJ, AG), pp. 72–82.
ICST-2014-GroceAZCR #reduction #testing
Cause Reduction for Quick Testing (AG, MAA, CZ, YC, JR), pp. 243–252.
ISSTA-2014-LeAGG #haskell #mutation testing #named #source code #testing
MuCheck: an extensible tool for mutation testing of haskell programs (DL, MAA, RG, AG), pp. 429–432.
ISSTA-2014-ZhangGA #execution #reduction #symbolic computation #testing #using
Using test case reduction and prioritization to improve symbolic execution (CZ, AG, MAA), pp. 160–170.
Onward-2014-GroceAG
Coverage and Its Discontents (AG, MAA, RG), pp. 255–268.
ISSTA-2013-GligoricGZSAM #test coverage #testing #using
Comparing non-adequate test suites using coverage criteria (MG, AG, CZ, RS, MAA, DM), pp. 302–313.
PLDI-2013-ChenGZWFER #compilation #fuzzing
Taming compiler fuzzers (YC, AG, CZ, WKW, XF, EE, JR), pp. 197–208.
ISSTA-2012-GroceZECR #testing
Swarm testing (AG, CZ, EE, YC, JR), pp. 78–88.
ASE-2011-Groce #adaptation #generative #programming
Coverage rewarded: Test input generation via adaptation-based programming (AG), pp. 380–383.
ICSE-2010-GroceHS #evolution #specification #testing
From scripts to specifications: the evolution of a flight software testing effort (AG, KH, MHS), pp. 129–138.
ASE-2008-AndrewsGWX #effectiveness #random testing
Random Test Run Length and Effectiveness (JHA, AG, MW, RGX), pp. 19–28.
ASE-2008-HolzmannJG #verification
Swarm Verification (GJH, RJ, AG), pp. 1–6.
VMCAI-2008-GroceJ #dynamic analysis #model checking
Extending Model Checking with Dynamic Analysis (AG, RJ), pp. 142–156.
ASE-2007-BlancGK #abstraction #c++ #verification
Verifying C++ with STL containers via predicate abstraction (NB, AG, DK), pp. 521–524.
ICSE-2007-GroceHJ #difference #random #testing #verification
Randomized Differential Testing as a Prelude to Formal Verification (AG, GJH, RJ), pp. 621–631.
TACAS-2006-GroceJ #program analysis
Exploiting Traces in Program Analysis (AG, RJ), pp. 379–393.
CAV-2004-GroceKL #comprehension
Understanding Counterexamples with explain (AG, DK, FL), pp. 453–456.
FSE-2004-ChakiGS
Explaining abstract counterexamples (SC, AG, OS), pp. 73–82.
TACAS-2004-Groce #distance #fault #metric
Error Explanation with Distance Metrics (AG), pp. 108–122.
ICSE-2003-ChakiCGJV #c #component #composition #verification
Modular Verification of Software Components in C (SC, EMC, AG, SJ, HV), pp. 385–395.
CAV-2002-GrocePY #adaptation #model checking #named
AMC: An Adaptive Model Checker (AG, DP, MY), pp. 521–525.
ISSTA-2002-GroceV #heuristic #java #model checking #source code #using
Model checking Java programs using structural heuristics (AG, WV), pp. 12–21.
TACAS-2002-GrocePY #adaptation #model checking
Adaptive Model Checking (AG, DP, MY), pp. 357–370.
CAV-2001-BhatCG #automaton #model checking #performance
Efficient Model Checking Via Büchi Tableau Automata (GB, RC, AG), pp. 38–52.
ASE-2015-GroceAJM #how #verification
How Verified is My Code? Falsification-Driven Verification (T) (AG, IA, CJ, PEM), pp. 737–748.
ASE-2016-AlipourSGMG #reduction #testing
Evaluating non-adequate test-case reduction (MAA, AS, RG, DM, AG), pp. 16–26.
FSE-2016-AhmedGBGJ #effectiveness #question
Can testedness be effectively measured? (IA0, RG, CB, AG, CJ), pp. 547–558.
ASE-2019-MossbergMHGGFBD #contract #execution #framework #named #symbolic computation
Manticore: A User-Friendly Symbolic Execution Framework for Binaries and Smart Contracts (MM, FM, EH, AG, GG, JF, TB, AD), pp. 1186–1189.

Bibliography of Software Language Engineering in Generated Hypertext (BibSLEIGH) is created and maintained by Dr. Vadim Zaytsev.
Hosted as a part of SLEBOK on GitHub.