21 search results - page 1 / 5 » Conditioned semantic slicing for abstraction; industrial exp... |
SPE
2008
13 years 4 months ago
2008
raction; Industrial Experiment Martin Ward, , Hussein Zedan
IFIP
2004
Springer
13 years 10 months ago
2004
Springer
Ensuring correctness of software by formal methods is a very relevant and widely studied problem. Automatic verification of software using model checkers from the state space exp...
SIGSOFT
2009
ACM
14 years 5 months ago
2009
ACM
Parallel changes are becoming increasingly prevalent in the development of large scale software system. To further study the relationship between parallel changes and faults, we h...
ASWEC
2009
IEEE
13 years 11 months ago
2009
IEEE
Changes to source code have become a critical factor in fault predictions. Text or syntactic approaches have been widely used. Textual analysis focuses on changed text fragments w...
COMPSAC
1996
IEEE
13 years 9 months ago
1996
IEEE
Business rules are operational rules that business organizationsfollow to peq%rm various activities. Over time, business rules evolve and the software that implemented them are al...