414 search results - page 12 / 83 » Using Strongest Postconditions to Improve Software Quality |
88
Voted
CSMR
2003
IEEE
15 years 5 months ago
2003
IEEE
Testing a distributed system is difficult. Good testing depends on both skill and understanding the system under test. We have developed a method to observe the system at the CORB...
86
Voted
LREC
2008
15 years 1 months ago
2008
This paper focuses on automatically improving the readability of documents. We explore mechanisms relating to content control that could be used (i) by authors to improve the qual...
97
Voted
CORR
2004
Springer
15 years 7 days ago
2004
Springer
This paper presents Jartege, a tool which allows random generation of unit tests for Java classes specified in JML. JML (Java Modeling Language) is a specification language for Ja...
100
Voted
XPU
2007
Springer
15 years 6 months ago
2007
Springer
Abstract. The automated collection of source code metrics can help agile teams to understand the software they are producing, allowing them to adapt their daily practices towards a...
ICSM
1999
IEEE
15 years 4 months ago
1999
IEEE
Software architecture is important for large systems in which it is the main means for, among other things, controlling complexity. Current ideas on software architectures were no...