[PDF][PDF] Inter-process Concolic Testing of Full-stack JavaScript Web Applications
M Vandercammen - 2023 - cris.vub.be
Web applications are becoming increasingly prevalent. Example applications include
collaborative text editors and drawing applications. We define full-stack JavaScript web …
collaborative text editors and drawing applications. We define full-stack JavaScript web …
State Merging for Concolic Testing of Event-Driven Applications
M Vandercammen, C De Roover - Available at SSRN 4713823 - papers.ssrn.com
Symbolic execution suffers from the state explosion problem, where execution of a program
generates an exponential number of execution states that must be explored. This problem …
generates an exponential number of execution states that must be explored. This problem …