3799 search results - page 574 / 760 » An Engineering Approach to Formal Methods |
163
click to vote
B
2007
Springer
16 years 13 days ago
2007
Springer
Symmetry reduction is an established method for limiting the amount of states that have to be checked during exhaustive model checking. The idea is to only verify a single represen...
133
click to vote
WER
2007
Springer
16 years 11 days ago
2007
Springer
Business stakeholders need to have clear and realistic goals if they want to meet commitments in application development. As a consequence, at early stages they prioritize require...
156
click to vote
KBSE
2002
IEEE
15 years 11 months ago
2002
IEEE
Generating test inputs for a path in a function with integer and real parameters is an important but difficult problem. The problem becomes more difficult when pointers are pass...
175
click to vote
IWPC
2000
IEEE
15 years 10 months ago
2000
IEEE
Software system documentation is almost always expressed informally, in natural language and free text. Examples include requirement specifications, design documents, manual page...
197
click to vote
APSEC
1998
IEEE
15 years 10 months ago
1998
IEEE
Modified programs are required to be retested to determine whether changes have been made correctly and to investigate whether those cause any adverse effect on the program behavi...