414 search results - page 22 / 83 » Using Strongest Postconditions to Improve Software Quality |
99
Voted
CORR
2010
Springer
15 years 17 days ago
2010
Springer
Abstract. Software engineering activities in the Industry has come a long way with various improvements brought in various stages of the software development life cycle. The comple...
ICSE
2003
IEEE-ACM
16 years 17 days ago
2003
IEEE-ACM
In a software development group of IBM Retail Store Solutions, we built a non-trivial software system based on a stable standard specification using a disciplined, rigorous unit t...
123
Voted
ISSTA
1993
ACM
15 years 4 months ago
1993
ACM
Mutation analysis is a powerful technique for assessing and improving the quality of test data used to unit test software. Unfortunately, current automated mutation analysis syste...
RE
2006
Springer
15 years 11 days ago
2006
Springer
Domain knowledge is one of crucial factors to get a great success in requirements elicitation of high quality, and only domain experts, not requirements analysts, have it. We prop...
90
Voted
KBSE
2005
IEEE
15 years 6 months ago
2005
IEEE
In earlier work we have argued that formal process definitions can be useful in improving our understanding and performance of software development processes. There has, however,...