Language-Based Software Testing
Authors:
Open Access
- 25 March 2024
- journal article
- research article
- Published by Association for Computing Machinery (ACM) in Communications of the ACM
- Vol. 67 (4) , 80-84
Abstract
Constraints over grammar elements can make test generation easier than ever.Keywords
Funding Information
- European Research Council (101093186)
This publication has 20 references indexed in Scilit:
- Smart Greybox FuzzingIEEE Transactions on Software Engineering, 2019
- Coverage-based Greybox Fuzzing as Markov Chain2016
- Mining input grammars from dynamic taints2016
- The Oracle Problem in Software Testing: A SurveyIEEE Transactions on Software Engineering, 2015
- The Matter of Heartbleed2014
- A Survey of Model-Driven Testing Techniques2009
- Grammar-based whitebox fuzzing2008
- Simplifying and isolating failure-inducing inputIEEE Transactions on Software Engineering, 2002
- Dynamically discovering likely program invariants to support program evolutionIEEE Transactions on Software Engineering, 2001
- A practical approach to programming with assertionsIEEE Transactions on Software Engineering, 1995