BibSLEIGH — Sebastian_G

Travelled to:

1 × Germany
1 × India
1 × Portugal
1 × Russia
1 × The Netherlands
14 × USA
2 × Canada
2 × China
2 × Italy
2 × Switzerland

Collaborated with:

M.B.Dwyer G.Rothermel D.S.Rosenblum K.T.Stolee S.Person A.G.Malishevsky P.Zhang R.Purandare M.Diep M.Jorde Z.Wang C.Sadowski J.Penix J.R.Ruthruff J.Dokulil V.R.Basili J.C.Munson J.Ore C.Lucas E.Sherman M.F.II A.Kinneer S.Karre D.Gable M.Waterloo F.Zervoudakis A.Finkelstein C.Bartolini A.Bertolino E.Marchetti C.S.Pasareanu M.Sama H.N.Chin C.Detweiler L.Karkazis H.Seo E.Aftandilian R.W.Bowdidge J.D.Morgenthaler P.Kallakuri B.Davia S.Kate X.Zhang Z.Xu A.Koesnandar L.Hochstein C.Scaffidi

Talks about:

test (23) case (6) analysi (5) code (5) regress (4) program (4) monitor (4) search (4) detect (4) cost (4)

Person: Sebastian G. Elbaum

DBLP: Elbaum:Sebastian_G=

Facilitated 1 volumes:

Contributed to:

2015

2014

2013

2012

2011

2010

2009

2008

2007

2006

2003

2002

2001

2000

1998

2015

2018

Wrote 41 papers:

ESEC-FSE-2015-SadowskiSE #case study #developer #how: How developers search for code: a case study (CS, KTS, SGE), pp. 191–201.
FSE-2014-ElbaumR #nondeterminism #testing: Known unknowns: testing in the presence of uncertainty (SGE, DSR), pp. 833–836.
FSE-2014-ElbaumRP #development #integration #testing: Techniques for improving regression testing in continuous integration development environments (SGE, GR, JP), pp. 235–245.
ICSE-2014-SeoSEAB #case study #fault: Programmers’ build errors: a case study (at google) (HS, CS, SGE, EA, RWB), pp. 724–734.
ESEC-FSE-2013-ZervoudakisREF #model checking #verification: Cascading verification: an integrated method for domain-specific model checking (FZ, DSR, SGE, AF), pp. 400–410.
ISSTA-2013-PurandareDE #finite #monitoring #optimisation: Optimizing monitoring of finite state properties through monitor compaction (RP, MBD, SGE), pp. 280–290.
FSE-2012-StoleeE #semantics #smt #towards: Toward semantic search via SMT solver (KTS, SGE), p. 25.
ICSE-2012-ZhangE #exception #testing #validation: Amplifying tests to validate exception handling code (PZ, SGE), pp. 595–605.
ISSTA-2012-ZhangED #composition #generative #pipes and filters #testing: Compositional load test generation for software pipelines (PZ, SGE, MBD), pp. 89–99.
OOPSLA-2012-LucasER #detection #distributed #problem #sequence: Detecting problematic message sequences and frequencies in distributed systems (CL, SGE, DSR), pp. 915–926.
ASE-2011-ZhangED #automation #generative #testing: Automatic generation of load tests (PZ, SGE, MBD), pp. 43–52.
ICSE-2011-StoleeE #refactoring: Refactoring pipe-like mashups for end-user programmers (KTS, SGE), pp. 81–90.
OOPSLA-2010-PurandareDE #monitoring #optimisation: Monitor optimization via stutter-equivalent loop transformation (RP, MBD, SGE), pp. 270–285.
ESEC-FSE-2009-BartoliniBEM #testing: Whitening SOA testing (CB, AB, SGE, EM), pp. 161–170.
ESEC-FSE-2009-ShermanDE #concurrent #source code #testing: Saturation-based testing of concurrent programs (ES, MBD, SGE), pp. 53–62.
ASE-2008-DwyerDE #cost analysis #monitoring: Reducing the Cost of Path Property Monitoring Through Sampling (MBD, MD, SGE), pp. 228–237.
ASE-2008-JordeED #testing: Increasing Test Granularity by Aggregating Unit Tests (MJ, SGE, MBD), pp. 9–18.
FSE-2008-KoesnandarERHSS #metaprogramming #using #web: Using assertions to help end-user programmers create dependable web macros (AK, SGE, GR, LH, CS, KTS), pp. 124–134.
FSE-2008-PersonDEP #difference #execution #symbolic computation: Differential symbolic execution (SP, MBD, SGE, CSP), pp. 226–237.
FSE-2008-SamaRWE #adaptation #detection #fault #modelling: Model-based fault detection in context-aware adaptive applications (MS, DSR, ZW, SGE), pp. 261–271.
ICSE-2008-RuthruffPMER #approach #predict #static analysis: Predicting accurate and actionable static analysis warnings: an experimental approach (JRR, JP, JDM, SGE, GR), pp. 341–350.
ASE-2007-DiepED: Reducing irrelevant trace variations (MD, SGE, MBD), pp. 477–480.
FASE-2007-FisherER #interface #web: Dynamic Characterization of Web Application Interfaces (MFI, SGE, GR), pp. 260–275.
ICSE-2007-DwyerEPP #parallel #random: Parallel Randomized State-Space Search (MBD, SGE, SP, RP), pp. 3–12.
ICSE-2007-DwyerKE #adaptation #online #program analysis: Adaptive Online Program Analysis (MBD, AK, SGE), pp. 220–229.
ICSE-2007-ElbaumPDJ #debugging #testing: Bug Hunt: Making Early Software Testing Lessons Engaging and Affordable (SGE, SP, JD, MJ), pp. 688–697.
ICSE-2007-WangER #automation #generative #testing: Automated Generation of Context-Aware Tests (ZW, SGE, DSR), pp. 406–415.
FSE-2006-DwyerPE #detection #fault: Controlling factors in evaluating path-sensitive error detection techniques (MBD, SP, SGE), pp. 92–104.
FSE-2006-ElbaumCDD #difference #testing: Carving differential unit test cases from system test cases (SGE, HNC, MBD, JD), pp. 253–264.
ICSE-2006-BasiliE #empirical #maturity #research #state of the art: Empirically driven SE research: state of the art and required maturity (VRB, SGE), p. 32.
ISSTA-2006-RuthruffER #paradigm #program analysis: Experimental program analysis: a new program analysis paradigm (JRR, SGE, GR), pp. 49–60.
ICSE-2003-ElbaumKR #testing #web: Improving Web Application Testing with User Session Data (SGE, SK, GR), pp. 49–59.
ICSE-2002-RothermelEMKD #effectiveness #testing: The impact of test suite granularity on the cost-effectiveness of regression testing (GR, SGE, AGM, PK, BD), pp. 130–140.
ICSM-2002-MalishevskyRE #modelling #testing #trade-off: Modeling the Cost-Benefits Tradeoffs for Regression Testing Techniques (AGM, GR, SGE), pp. 204–213.
ICSE-2001-ElbaumMR #fault #testing: Incorporating Varying Test Costs and Fault Severities into Test Case Prioritization (SGE, AGM, GR), pp. 329–338.
ICSM-2001-ElbaumGR #evolution #test coverage: The Impact of Software Evolution on Code Coverage Information (SGE, DG, GR), pp. 170–179.
ISSTA-2000-ElbaumMR #testing: Prioritizing test cases for regression testing (SGE, AGM, GR), pp. 102–112.
ICSM-1998-MunsonE #impact analysis: Code Churn: A Measure for Estimating the Impact of Code Change (JCM, SGE), p. 24–?.
ASE-2015-WaterlooPE #analysis #fault #testing: Test Analysis: Searching for Faults in Tests (N) (MW, SP, SGE), pp. 149–154.
ASE-2018-OreEDK: Assessing the type annotation burden (JPO, SGE, CD, LK), pp. 190–201.
ESEC-FSE-2018-KateOZEX #consistency #detection #named #nondeterminism #physics #probability: Phys: probabilistic physical unit assignment and inconsistency detection (SK, JPO, XZ, SGE, ZX), pp. 563–573.