2774 search results - page 3 / 555 » Query-Driven Program Testing |
CORR
2010
Springer
13 years 5 months ago
2010
Springer
Abstract. Testing is one of the most indispensable tasks in software engineering. The role of testing in software development has grown significantly because testing is able to rev...
TACAS
2010
Springer
13 years 5 months ago
2010
Springer
The choice of where a thread scheduling algorithm preempts one thread in order to execute another is essential to reveal concurrency errors such as atomicity violations, livelocks,...
PTS
2010
13 years 5 months ago
2010
The addition of a cross-cutting concern in a program, through aspect weaving, has an impact on its existing behaviors. If test cases exist for the program, it is necessary to ident...
ESORICS
2012
Springer
11 years 10 months ago
2012
Springer
Tracking information flow in dynamic languages remains an open challenge. It might seem natural to address the challenge by runtime monitoring. However, there are well-known funda...
EUROCAST
2009
Springer
13 years 5 months ago
2009
Springer
Abstract. Given a basis of a vector space V over a field K and a multiplication table which defines a bilinear map on V , we develop a computer program on Mathematica which checks ...