5159 search results - page 167 / 1032 » Structural Testing of Executables |
165
click to vote
ICST
2008
IEEE
16 years 1 months ago
2008
IEEE
This paper introduces an approach to web application regression testing, based upon repair of user session data. The approach is entirely automated. It consists of a white box exa...
203
click to vote
KBSE
2007
IEEE
16 years 1 months ago
2007
IEEE
Achieving high structural coverage such as branch coverage in objectoriented programs is an important and yet challenging goal due to two main challenges. First, some branches inv...
165
click to vote
ICALP
2010
Springer
15 years 10 months ago
2010
Springer
We present an O(m + n)-time algorithm that tests if a given directed graph is 2-vertex connected, where m is the number of arcs and n is the number of vertices. Based on this resul...
155
click to vote
APSEC
2000
IEEE
15 years 10 months ago
2000
IEEE
SOFL is a formal language and method for system specification and design. As a language it is an integration of Petri nets, Data Flow Diagrams, and VDM-SL. As a method it is a com...
193
click to vote
CHI
1996
ACM
15 years 11 months ago
1996
ACM
The NewsComm system delivers personalized news and other program material as audio to mobile users through a hand-held playback device. This paper focuses on the iterative design ...