Testing involves examining the behaviour of a system in order to discover potential faults.
Given an input for a system, the challenge of distinguishing the corresponding desired …

We present Harvey, an industrial greybox fuzzer for smart contracts, which are programs
managing accounts on a blockchain. Greybox fuzzing is a lightweight test-generation …

Not all bugs lead to program crashes, and not always is there a formal specification to check
the correctness of a software test's outcome. A common scenario in software testing is …

Research on software testing produces many innovative automated techniques, but
because software testing is by necessity incomplete and approximate, any new technique …

Most of today's software applications feature a graphical user interface (GUI) front-end.
System testing of these applications requires that test cases, modeled as sequences of GUI …

Testing involves examining the behaviour of a system in order to discover potential faults.
Determining the desired correct behaviour for a given input is called the “oracle problem” …

At Google we have found tens of thousands of security and robustness bugs by fuzzing C
and C++ libraries. To fuzz a library, a fuzzer requires a fuzz driver—which exercises some …

Code comments are important artifacts in software. Javadoc comments are widely used in
Java for API specifications. API developers write Javadoc comments, and API users read …

In a test suite, all the test cases should be independent: no test should affect any other test's
result, and running the tests in any order should produce the same test results. Techniques …

Background: Cross-company defect prediction (CCDP) is a field of study where an
organization lacking enough local data can use data from other organizations for building …