3889 search results - page 493 / 778 » The Use of Program Dependence Graphs in Software Engineering |
148
click to vote
ICSE
2009
IEEE-ACM
15 years 12 months ago
2009
IEEE-ACM
Developers use unit testing to improve the quality of software systems. Current development tools for unit testing help to automate test execution, to report results, and to gener...
169
click to vote
FSEN
2009
Springer
15 years 11 months ago
2009
Springer
Abstract. ToolBus allows to connect tools via a software bus. Programming is done using the scripting language Tscript, which is based on the process algebra ACP. In previous work ...
147
click to vote
XPU
2007
Springer
15 years 11 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...
145
click to vote
COMPSAC
2003
IEEE
15 years 10 months ago
2003
IEEE
Effectiveness of testing criteria is the ability to detect failures in a software program. We consider not only effectiveness of some testing criterion in itself but a variance of...
153
Voted
APSEC
1999
IEEE
15 years 9 months ago
1999
IEEE
For the practical development of provably correct software for embedded systems the close integration of CASE tools and verification tools is required. This paper describes the co...