Fetching the paper…
Reading the bibliography…
Given the current transformative potential of research that sits at the intersection of Deep Learning (DL) and Software Engineering (SE), an NSF-sponsored community workshop was conducted in co-location with the 34th IEEE/ACM International Conference on Automated Software Engineering (ASE'19) in San Diego, California.
A system to generate test data and symbolically execute programs
L. Clarke · 1976
Earlier work this paper cites.
Symbolic execution and program testing
J. C. King · 1976
Earlier work this paper cites.
Software Maintenance Management
B. P. Lientz and E. B. Swanson · 1980
Earlier work this paper cites.
The temporal logic of reactive and concurrent systems - specification
Z. Manna and A. Pnueli · 1992
Earlier work this paper cites.
Applying’design by contract’
B. Meyer · 1992
Earlier work this paper cites.
Experiments of the effectiveness of dataflow-and controlflow-based test adequacy criteria
M. Hutchins, H. Foster, T. Goradia, and T. Ostrand · 1994
Earlier work this paper cites.
A practical approach to programming with assertions
D. S. Rosenblum · 1995
Earlier work this paper cites.
Understanding neural networks via rule extraction
R. Setiono and H. Liu · 1995
Earlier work this paper cites.
The tptp problem library
G. Sutcliffe and C. Suttner · 1998
Earlier work this paper cites.
Model Checking
E. M. Clarke, Jr., O. Grumberg, and D. A. Peled · 1999
Earlier work this paper cites.
Jml: A notation for detailed design
G. T. Leavens, A. L. Baker, and C. Ruby · 1999
Earlier work this paper cites.
Counterexample-guided abstraction refinement
E. Clarke, O. Grumberg, S. Jha, Y. Lu, and H. Veith · 2000
Earlier work this paper cites.
Esp: Path-sensitive program verification in polynomial time
M. Das, S. Lerner, and M. Seigle · 2002
Earlier work this paper cites.
Bleu: a method for automatic evaluation of machine translation
K. Papineni, S. Roukos, T. Ward, and W. jing Zhu · 2002
Earlier work this paper cites.
Generalized symbolic execution for model checking and testing
S. Khurshid, C. S. Pǎsǎreanu, and W. Visser · 2003
Earlier work this paper cites.
Slam and static driver verifier: Technology transfer of formal methods inside microsoft
T. Ball, B. Cook, V. Levin, and S. K. Rajamani · 2004
Earlier work this paper cites.
Principles of Program Analysis
F. Nielson, H. R. Nielson, and C. Hankin · 2005
Earlier work this paper cites.
CUTE: a concolic unit testing engine for C
K. Sen, D. Marinov, and G. Agha · 2005
Earlier work this paper cites.
Rule extraction as a formal method for the verification and validation of neural networks
B. J. Taylor and M. A. Darrah · 2005
Earlier work this paper cites.
Verification of c programs using automated reasoning
D. Crocker and J. Carlton · 2007
Earlier work this paper cites.
Characterizing and understanding development sessions
R. Robbes and M. Lanza · 2007
Earlier work this paper cites.
KLEE: Unassisted and automatic generation of high-coverage tests for complex systems programs
C. Cadar, D. Dunbar, and D. Engler · 2008
Earlier work this paper cites.
Klee: Unassisted and automatic generation of high-coverage tests for complex systems programs
C. Cadar, D. Dunbar, and D. R. Engler · 2008
Earlier work this paper cites.
Z3: An efficient SMT solver
L. De Moura and N. Bjørner · 2008
Earlier work this paper cites.
Properties of machine learning applications for use in metamorphic testing
C. Murphy, G. E. Kaiser, L. Hu, and L. Wu · 2008
Earlier work this paper cites.
Automatically finding patches using genetic programming
W. Weimer, T. Nguyen, C. Le Goues, and S. Forrest · 2009
Earlier work this paper cites.
The smt-lib standard-version 2.0
C. Barrett, A. Stump, and C. Tinelli · 2010
Earlier work this paper cites.
Symbolic execution for software testing in practice: preliminary assessment
C. Cadar, P. Godefroid, S. Khurshid, C. S. Pasareanu, K. Sen, N. Tillmann, and W. Visser · 2011
Earlier work this paper cites.
A systematic study of automated program repair: Fixing 55 out of 105 bugs for $8 each
C. Le Goues, M. Dewey-Vogt, S. Forrest, and W. Weimer · 2012
Earlier work this paper cites.
6 years of smt-comp
C. Barrett, M. Deters, L. De Moura, A. Oliveras, and A. Stump · 2013
Earlier work this paper cites.
Symbolic execution for software testing: three decades later
C. Cadar and K. Sen · 2013
Earlier work this paper cites.
How effectively does metamorphic testing alleviate the oracle problem?
H. Liu, F.-C. Kuo, D. Towey, and T. Y. Chen · 2013
Earlier work this paper cites.
Are we there yet? 20 years of industrial theorem proving with spark
R. Chapman and F. Schanda · 2014
Earlier work this paper cites.
Machine learning: The high interest credit card of technical debt
D. Sculley, G. Holt, D. Golovin, E. Davydov, T. Phillips, D. Ebner, V. Chaudhary, and M. Young · 2014
Earlier work this paper cites.
Intriguing properties of neural networks
C. Szegedy, W. Zaremba, I. Sutskever, J. Bruna, D. Erhan, I. Goodfellow, and R. Fergus · 2014
Cited alongside, same era.
Exploring the use of deep learning for feature location
C. S. Corley, K. Damevski, and N. A. Kraft · 2015
Cited alongside, same era.
Explaining and Harnessing Adversarial Examples
I. Goodfellow, J. Shlens, and C. Szegedy · 2015
Cited alongside, same era.
Auto-completing Bug Reports for Android Applications
K. Moran, M. Linares-Vásquez, C. Bernal-Cárdenas, and D. Poshyvanyk · 2015
Cited alongside, same era.
Measuring neural net robustness with constraints
O. Bastani, Y. Ioannou, L. Lampropoulos, D. Vytiniotis, A. V. Nori, and A. Criminisi · 2016
Cited alongside, same era.
End to end learning for self-driving cars
M. Bojarski, D. D. Testa, D. Dworakowski, B. Firner, B. Flepp, P. Goyal, L. D. Jackel, M. Monfort, U. Muller, J. Zhang, X. Zhang, J. Zhao, and K. Zieba · 2016
Certified defenses against adversarial examples
A. Raghunathan, J. Steinhardt, and P. Liang · 2018
Later among the works it cites.
Reachability analysis of deep neural networks with provable guarantees
W. Ruan, X. Huang, and M. Kwiatkowska · 2018
Later among the works it cites.
Fast and effective robustness certification
G. Singh, T. Gehr, M. Mirman, M. Püschel, and M. Vechev · 2018
Later among the works it cites.
Concolic testing for deep neural networks
Y. Sun, M. Wu, W. Ruan, X. Huang, M. Kwiatkowska, and D. Kroening · 2018
Later among the works it cites.
Deeptest: Automated testing of deep-neural-network-driven autonomous cars
Y. Tian, K. Pei, S. Jana, and B. Ray · 2018
Later among the works it cites.
Deeptest: Automated testing of deep-neural-network-driven autonomous cars
Y. Tian, K. Pei, S. Jana, and B. Ray · 2018
Later among the works it cites.
alphaXiv searches the wider corpus for related work and actual follow-ups.
alphaXiv is searching for related work…
Cited alongside, same era.
On the Vocabulary Agreement in Software Issue Descriptions
O. Chaparro, J. M. Florez, and A. Marcus · 2016
Cited alongside, same era.
FUSION: A Tool for Facilitating and Augmenting Android Bug Reporting
K. Moran, M. Linares-Vásquez, C. Bernal-Cárdenas, and D. Poshyvanyk · 2016
Cited alongside, same era.
Towards verified artificial intelligence
S. A. Seshia, D. Sadigh, and S. S. Sastry · 2016
Cited alongside, same era.
Automatically learning semantic features for defect prediction
S. Wang, T. Liu, and L. Tan · 2016
Cited alongside, same era.
Deep learning code fragments for code clone detection
M. White, M. Tufano, C. Vendome, and D. Poshyvanyk · 2016
Cited alongside, same era.
Predicting semantically linkable knowledge in developer online forums via convolutional neural network
B. Xu, D. Ye, Z. Xing, X. Xia, G. Chen, and S. Li · 2016
Cited alongside, same era.
An empirical investigation into learning bug-fixing patches in the wild via neural machine translation
M. Tufano, C. Watson, G. Bavota, M. Di Penta, M. White, and D. Poshyvanyk · 2018
Later among the works it cites.
Architectural technical debt identification: The research landscape
R. Verdecchia, I. Malavolta, and P. Lago · 2018
Later among the works it cites.
Programmatically interpretable reinforcement learning
A. Verma, V. Murali, R. Singh, P. Kohli, and S. Chaudhuri · 2018
Later among the works it cites.
Improving automatic source code summarization via deep reinforcement learning
Y. Wan, Z. Zhao, M. Yang, G. Xu, H. Ying, J. Wu, and P. S. Yu · 2018
Later among the works it cites.
Efficient formal safety analysis of neural networks
S. Wang, K. Pei, J. Whitehouse, J. Yang, and S. Jana · 2018
Later among the works it cites.
Formal security analysis of neural networks using symbolic intervals
S. Wang, K. Pei, J. Whitehouse, J. Yang, and S. Jana · 2018
Later among the works it cites.
Towards fast computation of certified robustness for relu networks
T. Weng, H. Zhang, H. Chen, Z. Song, C. Hsieh, L. Daniel, D. S. Boning, and I. S. Dhillon · 2018
Later among the works it cites.
Provable defenses against adversarial examples via the convex outer adversarial polytope
E. Wong and J. Z. Kolter · 2018
Later among the works it cites.
Output reachable set estimation and verification for multilayer neural networks
W. Xiang, H. Tran, and T. T. Johnson · 2018
Later among the works it cites.
https://smt-comp.github.io/2019/
14th International Satisfiability Modulo Theories Competition · 2019
Later among the works it cites.
https://sv-comp.sosy-lab.org/2019/
Competition on Software Verification · 2019
Later among the works it cites.
The adverse effects of code duplication in machine learning models of code
M. Allamanis · 2019
Later among the works it cites.
Software engineering for machine learning: A case study
S. Amershi, A. Begel, C. Bird, R. DeLine, H. Gall, E. Kamar, N. Nagappan, B. Nushi, and T. Zimmermann · 2019
Later among the works it cites.
Cnn-cert: An efficient framework for certifying robustness of convolutional neural networks
A. Boopathy, T.-W. Weng, P.-Y. Chen, S. Liu, and L. Daniel · 2019
Later among the works it cites.
Sequencer: Sequence-to-sequence learning for end-to-end program repair
Z. Chen, S. J. Kommrusch, M. Tufano, L. Pouchet, D. Poshyvanyk, and M. Monperrus · 2019
Later among the works it cites.
Property inference for deep neural networks
D. Gopinath, H. Converse, C. S. Pasareanu, and A. Taly · 2019
Later among the works it cites.
Symbolic execution for attribution and attack synthesis in neural networks
D. Gopinath, C. S. Pasareanu, K. Wang, M. Zhang, and S. Khurshid · 2019
Later among the works it cites.
The marabou framework for verification and analysis of deep neural networks
G. Katz, D. A. Huang, D. Ibeling, K. Julian, C. Lazarus, R. Lim, P. Shah, S. Thakoor, H. Wu, and A. Zeljić · 2019
Later among the works it cites.
A neural model for generating natural language summaries of program subroutines
A. LeClair, S. Jiang, and C. McMillan · 2019
Later among the works it cites.
Algorithms for verifying deep neural networks, 2019
C. Liu, T. Arnon, C. Lazarus, C. Barrett, and M. J. Kochenderfer · 2019
Later among the works it cites.
Tensorfuzz: Debugging neural networks with coverage-guided fuzzing
A. Odena, C. Olsson, D. Andersen, and I. J. Goodfellow · 2019
Later among the works it cites.
Refactoring neural networks for verification
D. Shriver, D. Xu, S. G. Elbaum, and M. B. Dwyer · 2019
Later among the works it cites.
An abstract domain for certifying neural networks
G. Singh, T. Gehr, M. Püschel, and M. T. Vechev · 2019
Later among the works it cites.
Evaluating robustness of neural networks with mixed integer programming
V. Tjeng, K. Y. Xiao, and R. Tedrake · 2019
Later among the works it cites.
Coverage-guided fuzzing for feedforward neural networks
X. Xie, H. Chen, Y. Li, L. Ma, Y. Liu, and J. Zhao · 2019
Later among the works it cites.
Deephunter: a coverage-guided fuzz testing framework for deep neural networks
X. Xie, L. Ma, F. Juefei-Xu, M. Xue, H. Chen, Y. Liu, J. Zhao, B. Li, J. Yin, and S. See · 2019
Later among the works it cites.
American fuzzy lop – a security-oriented fuzzer
M. Z. et al · 2020
Closest in time.