130 search results - page 3 / 26 » Verified Software: Theories, Tools, Experiments |
CSEE
2006
Springer
13 years 11 months ago
2006
Springer
This paper presents an educational method used to improve teaching of tedious topics in software engineering courses that can be difficult for students to comprehend without any r...
VSTTE
2005
Springer
14 years 28 days ago
2005
Springer
: Verifying design instead of code can be an effective and practical approach to obtaining verified software. This paper argues that proof scores are an attractive method for ver...
ICFEM
2004
Springer
14 years 25 days ago
2004
Springer
We present a novel approach for verifying safety properties of finite state machines communicating over unbounded FIFO channels that is based on applying machine learning techniqu...
IWPC
2003
IEEE
14 years 22 days ago
2003
IEEE
A key desideratum for many software comprehension tools is to reduce the mental burdens of software engineers. That is, the tools should support cognition. This key benefit is di...
SEKE
2005
Springer
14 years 28 days ago
2005
Springer
Design combinatorial theory for test-case generation has been used successfully in the past. It is useful in optimizing test cases as it is practically impossible to exhaustively t...