JavaScript has become one of the most popular programming languages, yet it is known for
its suboptimal design. To effectively use JavaScript despite its design flaws, developers try to …

Manually reproducing bugs is time-consuming and tedious. Software maintainers routinely
try to reproduce unconfirmed issues using incomplete or no informative bug reports …

Today, software verification is an established analysis method which can provide high
guarantees for software safety. However, the resources (time and/or memory) for an …

Recording the sequence of events that lead to a failure of a web application can be an
effective aid for debugging. Nevertheless, a recording of an event sequence may include …

Concolic testing is a promising method for generating test suites for large programs.
However, it suffers from the path-explosion problem and often fails to find tests that cover …

Structural coverage metrics, and in particular branch coverage, are popular approaches to
measure the thoroughness of test suites. Unfortunately, the presence of elements that are …

Recent automated software testing techniques concentrate on achieving path coverage. We
present a complexity measure that provides an upper bound for the number of paths in a …

In this paper, we present Productive Puzzles, a novel puzzle mechanism for defending
against Distributed Denial of Service (DDoS) attacks. Productive puzzles aim to use tasks …

Automatic testing, although useful, is still quite ineffective against faults that do not cause
crashes or uncaught exceptions. In the majority of the cases automatic tests do not include …

摘要程序多路径验证方法是对软件性质进行发掘的重要方法之一, 现有的验证方法主要通过求解
路径条件或者自动构造不同的输入来触发生成不同的路径, 从而分析程序中潜在的安全问题 …