Using a Guided Fuzzer and Preconditions to Achieve Branch Coverage with Valid Inputs

[1]  Frédéric Loulergue,et al.  Verified Runtime Assertion Checking for Memory Properties , 2020, TAP@STAF.

[2]  Willem Visser,et al.  COASTAL: Combining Concolic and Fuzzing for Java (Competition Contribution) , 2020, TACAS.

[3]  Koushik Sen,et al.  Saffron: Adaptive Grammar-based Fuzzing for Worst-Case Analysis , 2019, SOEN.

[4]  Yong Tang,et al.  LearnAFL: Greybox Fuzzing With Knowledge Enhancement , 2019, IEEE Access.

[5]  Nikolai Kosmatov,et al.  Test Case Generation with PathCrawler/LTest: How to Automate an Industrial Testing Process , 2018, ISoLA.

[6]  Hongliang Liang,et al.  Fuzzing: State of the Art , 2018, IEEE Transactions on Reliability.

[7]  Alex Groce,et al.  TSTL: the template scripting testing language , 2018, International Journal on Software Tools for Technology Transfer.

[8]  Alex Groce,et al.  A Little Language for Testing , 2015, NFM.

[9]  Sven Apel,et al.  Facilitating Reuse in Multi-goal Test-Suite Generation for Software Product Lines , 2015, FASE.

[10]  GORDON FRASER,et al.  A Large-Scale Evaluation of Automated Unit Test Generation Using EvoSuite , 2014, ACM Trans. Softw. Eng. Methodol..

[11]  David R. Cok,et al.  OpenJML: JML for Java 7 by Extending OpenJDK , 2011, NASA Formal Methods.

[12]  David R. Cok,et al.  Improved usability and performance of SMT solvers for debugging specifications , 2010, International Journal on Software Tools for Technology Transfer.

[13]  Daniel M. Zimmerman,et al.  JMLUnit: The Next Generation , 2010, FoVeOOS.

[14]  Martin Leucker,et al.  A brief account of runtime verification , 2009, J. Log. Algebraic Methods Program..

[15]  Stephen McCamant,et al.  The Daikon system for dynamic detection of likely invariants , 2007, Sci. Comput. Program..

[16]  Kevin C. Almeroth,et al.  SNOOZE: Toward a Stateful NetwOrk prOtocol fuzZEr , 2006, ISC.

[17]  Albert L. Baker,et al.  Preliminary design of JML: a behavioral interface specification language for java , 2006, SOEN.

[18]  David S. Rosenblum,et al.  A historical perspective on runtime assertion checking in software development , 2006, SOEN.

[19]  Gary T. Leavens,et al.  Beyond Assertions: Advanced Specification and Verification with JML and ESC/Java2 , 2005, FMCO.

[20]  Michael R. Lowry,et al.  Combining test case generation and runtime verification , 2005, Theor. Comput. Sci..

[21]  Achim D. Brucker,et al.  Symbolic Test Case Generation for Primitive Recursive Functions , 2004, FATES.

[22]  Gary T. Leavens,et al.  How the design of JML accommodates both runtime assertion checking and formal verification , 2003, Sci. Comput. Program..

[23]  Guoqing Xu,et al.  JMLAutoTest: A Novel Automated Testing Framework Based on JML and JUnit , 2003, FATES.

[24]  Michael D. Ernst,et al.  An overview of JML tools and applications , 2003, International Journal on Software Tools for Technology Transfer.

[25]  Gary T. Leavens,et al.  A Simple and Practical Approach to Unit Testing: The JML and JUnit Way , 2002, ECOOP.

[26]  Nikolai Kosmatov,et al.  Efficient Runtime Assertion Checking for Properties over Mathematical Numbers , 2020, RV.

[27]  Wolfgang Ahrendt,et al.  Proof-based Test Case Generation , 2016, Deductive Software Verification.

[28]  Albert L. Baker,et al.  JML: A Notation for Detailed Design , 1999, Behavioral Specifications of Businesses and Systems.