1199 search results - page 125 / 240 » Software Verification and Software Engineering a Practitione... |
160
click to vote
AOSD
2007
ACM
15 years 8 months ago
2007
ACM
Design rules express constraints on the behavior and structure of a program. These rules can help ensure that a program follows a set of established practices, and avoids certain ...
154
click to vote
EMSOFT
2008
Springer
15 years 6 months ago
2008
Springer
Aimed at verifying safety properties and improving simulation coverage for hybrid systems models of embedded control software, we propose a technique that combines numerical simul...
152
click to vote
ESEM
2008
ACM
15 years 6 months ago
2008
ACM
Regression testing is the verification that previously functioning software remains after a change. In this paper we report on a systematic review of empirical evaluations of regr...
124
click to vote
SIGSOFT
2006
ACM
16 years 5 months ago
2006
ACM
A method for extracting syntactic specifications from heapmanipulating code is described. The state of the heap is represented as an environment mapping each variable or field to ...
150
click to vote
APAQS
2000
IEEE
15 years 9 months ago
2000
IEEE
Estimating different characteristics viz., size, cost, etc. of sofrware during different phases of software development is required to manage the resources effectively. Function p...