Fetching the paper…
Reading the bibliography…
Understanding the root cause of a defect is critical to isolating and repairing buggy behavior.
Fault localization using execution slices and dataflow tests. In International Symposium on Software Reliability Engineering (ISSRE) . Toulouse, France, 143–151
Hiralal Agrawal, Joseph R. Horgan, Saul London, and W. Eric Wong. 1995 · 1995
Earlier work this paper cites.
Patterns in property specifications for finite-state verification. In ACM/IEEE International Conference on Software Engineering (ICSE) . Los Angeles, CA, USA, 411–420
Matthew B. Dwyer, George S. Avrunin, and James C. Corbett. 1999 · 1999
Earlier work this paper cites.
Yesterday, my program worked. Today, it does not. Why? In European Software Engineering Conference and ACM SIGSOFT Symposium on the Foundations of Software Engineering (ESEC/FSE) . Toulouse, France, 253–267
Andreas Zeller. 1999 · 1999
Earlier work this paper cites.
Simplifying failure-inducing input. In International Symposium on Software Testing and Analysis (ISSTA) . Portland, OR, USA, 135–145
Ralf Hildebrandt and Andreas Zeller. 2000 · 2000
Earlier work this paper cites.
Dynamically discovering likely program invariants to support program evolution
Michael D. Ernst, Jake Cockrell, William G. Griswold, and David Notkin. 2001 · 2001
Earlier work this paper cites.
Visualization of test information to assist fault localization. In International Conference on Software Engineering (ICSE) . Orlando, FL, USA, 467–477
James A. Jones, Mary Jean Harrold, and John Stasko. 2002 · 2002
Earlier work this paper cites.
Explaining software developer acceptance of methodologies: A comparison of five theoretical models
Cynthia K. Riemenschneider, Bill C. Hardgrave, and Fred D. Davis. 2002 · 2002
Earlier work this paper cites.
Simplifying and isolating failure-inducing input
Andreas Zeller and Ralf Hildebrandt. 2002 · 2002
Earlier work this paper cites.
Beyond the five-user assumption: Benefits of increased sample sizes in usability testing
Laura Faulkner. 2003 · 2003
Earlier work this paper cites.
Scaling regression testing to large software systems. In ACM SIGSOFT International Symposium on Foundations of Software Engineering (FSE) . Newport Beach, CA, USA, 241–252
Alessandro Orso, Nanjuan Shi, and Mary Jean Harrold. 2004 · 2004
Earlier work this paper cites.
Lightweight defect localization for Java. In European Conference on Object Oriented Programming (ECOOP) . Glasgow, UK, 528–550
Valentin Dallmeier, Christian Lindig, and Andreas Zeller. 2005 · 2005
Earlier work this paper cites.
Eliminating harmful redundancy for testing-based fault localization using test suite reduction: An experimental study. In IEEE International Conference on Software Maintenance (ICSM) . Budapest, Hungary, 683–686
Dan Hao, Lu Zhang, Hao Zhong, Hong Mei, and Jiasu Sun. 2005b · 2005
Earlier work this paper cites.
Making things happen: A theory of causal explanation
James Woodward. 2005 · 2005
Earlier work this paper cites.
Differential testing: A new approach to change detection. In European Software Engineering Conference and ACM SIGSOFT International Symposium on Foundations of Software Engineering (ESEC/FSE) Poster track . Dubrovnik, Croatia, 549–552
Robert B. Evans and Alberto Savoia. 2007 · 2007
Earlier work this paper cites.
Random testing for security: Blackbox vs. whitebox fuzzing. In International Workshop on Random Testing (RT) . Minneapolis, MN, USA, 1
Patrice Godefroid. 2007 · 2007
Earlier work this paper cites.
Data mining static code attributes to learn defect predictors
Tim Menzies, Jeremy Greenwald, and Art Frank. 2007 · 2007
Earlier work this paper cites.
Randoop: Feedback-directed random testing for Java. In Conference on Object-oriented Programming Systems and Applications (OOPSLA) . Montreal, QC, Canada, 815–816
Carlos Pacheco and Michael D. Ernst. 2007 · 2007
Earlier work this paper cites.
Automated whitebox fuzz testing. In Network and Distributed System Security Symposium (NDSS) . San Diego, CA, USA, 151–166
Patrice Godefroid, Michael Y. Levin, and David A. Molnar. 2008 · 2008
Earlier work this paper cites.
Privacy oracle: A system for finding application leaks with black box differential testing. In ACM Conference on Computer and Communications Security (CCS) . Alexandria, VA, USA, 279–288
Jaeyeon Jung, Anmol Sheth, Ben Greenstein, David Wetherall, Gabriel Maganis, and Tadayoshi Kohno. 2008 · 2008
Earlier work this paper cites.
Fuzzing and delta-debugging SMT solvers. In International Workshop on Satisfiability Modulo Theories (SMT) . Montreal, QC, Canada, 1–5
Robert Brummayer and Armin Biere. 2009 · 2009
Earlier work this paper cites.
A family of code coverage-based heuristics for effective fault localization
W. Eric Wong, Vidroha Debroy, and Byoungju Choi. 2010 · 2009
Earlier work this paper cites.
Directed test generation for effective fault localization. In International Symposium on Software Testing and Analysis (ISSTA) . Trento, Italy, 49–60
Shay Artzi, Julian Dolby, Frank Tip, and Marco Pistoia. 2010 · 2010
Earlier work this paper cites.
Causal inference for statistical fault localization. In International Symposium on Software Testing and Analysis (ISSTA) . Trento, Italy, 73–84
George K. Baah, Andy Podgurski, and Mary Jean Harrold. 2010 · 2010
Earlier work this paper cites.
Automated behavioral regression testing. In International Conference on Software Testing, Verification, and Validation (ICST) . Paris, France, 137–146
Wei Jin, Alessandro Orso, and Tao Xie. 2010 · 2010
Cited alongside, same era.
Defect prediction from static code features: Current results, limitations, new approaches
Tim Menzies, Zach Milton, Burak Turhan, Bojan Cukic, Yue Jiang, and Ayş Bener. 2010 · 2010
Cited alongside, same era.
Iterative delta debugging
Cyrille Artho. 2011 · 2011
Cited alongside, same era.
Mitigating the confounding effects of program dependences for effective fault localization. In European Software Engineering Conference and ACM SIGSOFT International Symposium on Foundations of Software Engineering (ESEC/FSE) . Szeged, Hungary, 146–156
George K. Baah, Andy Podgurski, and Mary Jean Harrold. 2011 · 2011
Cited alongside, same era.
Mining temporal invariants from partially ordered logs
Ivan Beschastnikh, Yuriy Brun, Michael D. Ernst, Arvind Krishnamurthy, and Thomas E. Anderson. 2011b · 2011
Automatic mining of specifications from invocation traces and method invariants. In ACM SIGSOFT International Symposium on Foundations of Software Engineering (FSE) (16–22). Hong Kong, China, 178–189
Ivo Krka, Yuriy Brun, and Nenad Medvidovic. 2014 · 2014
Later among the works it cites.
Behavioral resource-aware model inference. In IEEE/ACM International Conference on Automated Software Engineering (ASE) (15–19). Västerås, Sweden, 19–30
Tony Ohmann, Michael Herzberg, Sebastian Fiss, Armand Halbert, Marc Palyart, Ivan Beschastnikh, and Yuriy Brun. 2014 · 2014
Later among the works it cites.
MIMIC: Locating and understanding bugs by analyzing mimicked executions. In ACM/IEEE International Conference on Software Engineering (ICSE) . Hyderabad, India, 815–826
Daniele Zuddas, Wei Jin, Fabrizio Pastore, Leonardo Mariani, and Alessandro Orso. 2014 · 2014
Later among the works it cites.
Guided differential testing of certificate validation in SSL/TLS Implementations. In European Software Engineering Conference and ACM SIGSOFT International Symposium on Foundations of Software Engineering (ESEC/FSE) . Bergamo, Italy, 793–804
Yuting Chen and Zhendong Su. 2015 · 2015
alphaXiv searches the wider corpus for related work and actual follow-ups.
alphaXiv is searching for related work…
Cited alongside, same era.
Are automated debugging techniques actually helping programmers? In International Symposium on Software Testing and Analysis (ISSTA) . Toronto, ON, Canada, 199–209
Chris Parnin and Alessandro Orso. 2011 · 2011
Cited alongside, same era.
A security policy oracle: Detecting security holes using multiple API implementations. In ACM SIGPLAN Conference on Programming Language Design and Implementation (PLDI) . San Jose, CA, USA, 343–354
Varun Srivastava, Michael D. Bond, Kathryn S. McKinley, and Vitaly Shmatikov. 2011 · 2011
Cited alongside, same era.
Finding and understanding bugs in C compilers. In ACM SIGPLAN Conference on Programming Language Design and Implementation (PLDI) . San Jose, CA, USA, 283–294
Xuejun Yang, Yang Chen, Eric Eide, and John Regehr. 2011 · 2011
Cited alongside, same era.
Whole test suite generation
Gordon Fraser and Andrea Arcuri. 2013 · 2012
Cited alongside, same era.
Fuzzing with code fragments. In USENIX Security Symposium . Bellevue, WA, USA, 445–458
Christian Holler, Kim Herzig, and Andreas Zeller. 2012 · 2012
Cited alongside, same era.
BugRedux: Reproducing field failures for in-house debugging. In ACM/IEEE International Conference on Software Engineering (ICSE) . Zurich, Switzerland, 474–484
Wei Jin and Alessandro Orso. 2012 · 2012
Cited alongside, same era.
Darwin: An approach to debugging evolving programs
Dawei Qi, Abhik Roychoudhury, Zhenkai Liang, and Kapil Vaswani. 2012 · 2012
Cited alongside, same era.
Later among the works it cites.
Reducing feedback delay of software development tools via continuous analyses
Kıvanç Muşlu, Yuriy Brun, Michael D. Ernst, and David Notkin. 2015b · 2015
Later among the works it cites.
Questions developers ask while diagnosing potential security vulnerabilities with static analysis. In European Software Engineering Conference and ACM SIGSOFT International Symposium on Foundations of Software Engineering (ESEC/FSE) . Bergamo, Italy, 248–259
Justin Smith, Brittany Johnson, Emerson Murphy-Hill, Bill Chu, and Heather Richter Lipford. 2015 · 2015
Later among the works it cites.
Discovering specification violations in networked software systems. In International Symposium on Software Reliability Engineering (ISSRE) (2–5). Gaithersburg, MD, USA, 496–506
Robert J. Walls, Yuriy Brun, Marc Liberatore, and Brian Neil Levine. 2015 · 2015
Later among the works it cites.
From quick fixes to slow fixes: Reimagining static analysis resolutions to enable design space exploration. In Proceedings of the International Conference on Software Maintenance and Evolution (ICSME) . Raleigh, NC, USA, 211–221
Titus Barik, Yoonki Song, Brittany Johnson, and Emerson Murphy-Hill. 2016 · 2016
Later among the works it cites.
Spectrum-based software fault localization: A survey of techniques, advances, and challenges
Higor Amario de Souza, Marcos Lordello Chaim, and Fabio Kon. 2016 · 2016
Later among the works it cites.
Automatic generation of oracles for exceptional behaviors. In International Symposium on Software Testing and Analysis (ISSTA) . Saarbrücken, Genmany, 213–224
Alberto Goffi, Alessandra Gorla, Michael D. Ernst, and Mauro Pezzè. 2016 · 2016
Later among the works it cites.
A cross-tool communication study on program analysis tool notifications. In ACM SIGSOFT International Symposium on Foundations of Software Engineering (FSE) . Seattle, WA, USA, 73–84
Brittany Johnson, Rahul Pandita, Justin Smith, Denae Ford, Sarah Elder, Emerson Murphy-Hill, Sarah Heckman, and Caitlin Sadowski. 2016 · 2016
Later among the works it cites.
Fairness testing: Testing software for discrimination. In European Software Engineering Conference and ACM SIGSOFT International Symposium on Foundations of Software Engineering (ESEC/FSE) (6–8). Paderborn, Germany, 498–510
Sainyam Galhotra, Yuriy Brun, and Alexandra Meliou. 2017 · 2017
Later among the works it cites.
DeepXplore: Automated whitebox testing of deep learning systems. In ACM Symposium on Operating Systems Principles (SOSP) . Shanghai, China, 1–18
Kexin Pei, Yinzhi Cao, Junfeng Yang, and Suman Jana. 2017 · 2017
Later among the works it cites.
Differential testing for variational analyses: Experience from developing KConfigReader
Vipin Samar and Sangeeta Patni. 2017 · 2017
Later among the works it cites.
Behavioral execution comparison: Are tests representative of field behavior? In International Conference on Software Testing, Verification, and Validation (ICST) (13–18). Tokyo, Japan, 321–332
Qianqian Wang, Yuriy Brun, and Alessandro Orso. 2017 · 2017
Later among the works it cites.
American fuzzy lop
AFL 2018 · 2018
Closest in time.
Automated test generation to detect individual discrimination in AI models
Aniya Aggarwal, Pranay Lohia, Seema Nagar, Kuntal Dey, and Diptikalyan Saha. 2018 · 2018
Closest in time.
Themis: Automatically testing software for discrimination. In European Software Engineering Conference and ACM SIGSOFT International Symposium on Foundations of Software Engineering (ESEC/FSE) Demonstration track (6–9). Lake Buena Vista, FL, USA, 871–875
Rico Angell, Brittany Johnson, Yuriy Brun, and Alexandra Meliou. 2018 · 2018
Closest in time.
Translating code comments to procedure specifications. In International Symposium on Software Testing and Analysis (ISSTA) . Amsterdam, Netherlands, 242–253
Arianna Blasi, Alberto Goffi, Konstantin Kuznetsov, Alessandra Gorla, Michael D. Ernst, Mauro Pezzè, and Sergio Delgado Castellanos. 2018 · 2018
Closest in time.
DeepTest: Automated testing of deep-neural-network-driven autonomous cars. In ACM/IEEE International Conference on Software Engineering (ICSE) . Gothenburg, Sweden, 303–314
Yuchi Tianand, Kexin Pei, Suman Jana, and Baishakhi Ray. 2018 · 2018
Closest in time.
Towards refactoring-aware regression test selection. In ACM/IEEE International Conference on Software Engineering (ICSE) . Gothenburg, Sweden, 233–244
Kaiyuan Wang, Chenguang Zhu, Ahmet Celik, Jongwook Kim, Don Batory, and Milos Gligoric. 2018 · 2018
Closest in time.
Automatically generating precise oracles from structured natural language specifications. In ACM/IEEE International Conference on Software Engineering (ICSE) (29–31). Montreal, QC, Canada, 188–199
Manish Motwani and Yuriy Brun. 2019 · 2019
Closest in time.