An orchestrated survey of methodologies for automated software test case generation
Test case generation is among the most labour-intensive tasks in software testing. It also has
a strong impact on the effectiveness and efficiency of software testing. For these reasons, it …
a strong impact on the effectiveness and efficiency of software testing. For these reasons, it …
Deductive software verification-the key book
• There are IDEs for KeY, including an Eclipse extension, that make it easy to keep track of
proof obligations in larger projects [Hentschel et al., 2014c].• A stripped down version of …
proof obligations in larger projects [Hentschel et al., 2014c].• A stripped down version of …
Gaschecker: Scalable analysis for discovering gas-inefficient smart contracts
Ethereum, the largest blockchain for running smart contracts, charges the people who send
transactions to deploy or invoke smart contracts for thwarting resource abuse. The amount of …
transactions to deploy or invoke smart contracts for thwarting resource abuse. The amount of …
JDart: A Dynamic Symbolic Analysis Framework
We describe JDart, a dynamic symbolic analysis framework for Java. A distinguishing
feature of JDart is its modular architecture: the main component that performs dynamic …
feature of JDart is its modular architecture: the main component that performs dynamic …
Improving dynamic partial order reductions for concolic testing
O Saarikivi, K Kähkönen… - 2012 12th International …, 2012 - ieeexplore.ieee.org
Testing multi-threaded programs is hard due to the state explosion problem arising from the
different interleavings of concurrent operations. The dynamic partial order reduction (DPOR) …
different interleavings of concurrent operations. The dynamic partial order reduction (DPOR) …
Charting the API minefield using software telemetry data
Programs draw significant parts of their functionality through the use of Application
Programming Interfaces (API s). Apart from the way developers incorporate API s in their …
Programming Interfaces (API s). Apart from the way developers incorporate API s in their …
LCT: A parallel distributed testing tool for multithreaded Java programs
Abstract LIME Concolic Tester (LCT) is an open source automated testing tool that allows
testing both sequential and multithreaded Java programs. The tool uses concolic testing to …
testing both sequential and multithreaded Java programs. The tool uses concolic testing to …
[BOOK][B] Techniques to facilitate symbolic execution of real-world programs
S Anand - 2012 - search.proquest.com
Symbolic execution is a program-analysis technique that is used to address several
problems that arise in develo** high-quality software. Despite the fact that the symbolic …
problems that arise in develo** high-quality software. Despite the fact that the symbolic …
Heap cloning: Enabling dynamic symbolic execution of java programs
S Anand, MJ Harrold - 2011 26th IEEE/ACM International …, 2011 - ieeexplore.ieee.org
The dynamic symbolic-execution technique can automatically perform symbolic execution of
programs that use problematic features of Java, such as native methods. However, to …
programs that use problematic features of Java, such as native methods. However, to …
Taming test inputs for separation assurance
The Next Generation Air Transportation System (NextGen) advocates the use of innovative
algorithms and software to address the increasing load on air-traffic control. AutoResolver …
algorithms and software to address the increasing load on air-traffic control. AutoResolver …