2127 search results - page 194 / 426 » Software Automation |
310
click to vote
AOSE
2008
Springer
15 years 8 months ago
2008
Springer
A central problem in software maintenance is change propagation: given a set of primary changes that have been made to software, what additional secondary changes are needed? Altho...
151
click to vote
ASWEC
2007
IEEE
16 years 25 days ago
2007
IEEE
Heuristics have long been recognised as a way to tackle problems which are intractable because of their size or complexity. They have been used in software engineering for purpose...
170
click to vote
GECCO
2005
Springer
16 years 3 hour ago
2005
Springer
The efficient and effective generation of test-data from high-level models is of crucial importance in advanced modern software engineering. Empirical studies have shown that muta...
169
click to vote
VAMOS
2010
Springer
15 years 8 months ago
2010
Springer
This tool demo paper describes a tool called XToF which is being developed through a collaboration between the University of Victoria, the University of Namur and the University of...
187
click to vote
CAISE
2006
Springer
15 years 10 months ago
2006
Springer
The quest for designing secure and trusted software has led to refined Software Engineering methodologies that rely on tools to support the design process. Automated reasoning mech...