摘要从软件测试的技术与过程, 持续的软件测试, 软件测试的充分性准则等方面简要介绍软件
测试的基本思想; 讨论软件测试中的若干问题, 包括面向路径的测试数据自动生成, 测试预言 …

In recent years, search-based software testing (SBST) is the active research topic in software
testing. SBST is the process of generating test cases that use metaheuristics for optimization …

This article presents EXE, an effective bug-finding tool that automatically generates inputs
that crash real code. Instead of running code on manually or randomly constructed input …

Malicious code (or Malware) is defined as software that fulfills the deliberately harmful intent
of an attacker. Malware analysis is the process of determining the behavior and purpose of a …

We present hybrid concolic testing, an algorithm that interleaves random testing with
concolic execution to obtain both a deep and a wide exploration of program state space. Our …

Black-box mutational fuzzing is a simple yet effective technique to find bugs in software.
Given a set of program-seed pairs, we ask how to schedule the fuzzings of these pairs in …

Object oriented programming promotes reuse of classes in multiple contexts. Thus, a class is
designed and implemented with several usage scenarios in mind, some of which possibly …

The automatic patch-based exploit generation problem is: given a program P and a patched
version of the program P', automatically generate an exploit for the potentially unknown …

When you think about how far and fast computer science has progressed in recent years, it's
not hard to conclude that a seven-year old handbook may fall a little short of the kind of …

This paper presents a technique that uses code to automatically generate its own test cases
at run time by using a combination of symbolic and concrete (ie regular) execution The input …