Sciweavers

794 search results - page 58 / 159
» Automatically Analyzing Software Processes: Experience Repor...
Sort
View
ESEM
2008
ACM
15 years 2 months ago
Empirical evaluations of regression test selection techniques: a systematic review
Regression testing is the verification that previously functioning software remains after a change. In this paper we report on a systematic review of empirical evaluations of regr...
Emelie Engström, Mats Skoglund, Per Runeson
GECCO
2008
Springer
180views Optimization» more  GECCO 2008»
15 years 1 months ago
Bond-graphs + genetic programming: analysis of an automatically synthesized rotary mechanical system
Initial results of an experiment devised to combine Bond-Graph modeling and simulation with genetic programming for automated design of a simple mechatronic system are reported in...
Saheeb Ahmed Kayani, Muhammad Afzaal Malik
WOSP
2004
ACM
15 years 6 months ago
From UML activity diagrams to Stochastic Petri nets: application to software performance engineering
Over the last decade, the relevance of performance evaluation in the early stages of the software development life-cycle has been steadily rising. We honestly believe that the int...
Juan Pablo López-Grao, José Mersegue...
WETICE
1996
IEEE
15 years 4 months ago
Independent validation of specifications: a coordination headache
Large, complex projects face significant barriers to coordination and communication due to continuous, rapid changes during a project's lifecycle. Such changes must be tracke...
Steve M. Easterbrook, John R. Callahan
109
Voted
ISCIS
2004
Springer
15 years 6 months ago
Software Testing via Model Checking
Testing is a necessary, but costly process for user-centric quality control. Moreover, testing is not comprehensive enough to completely detect faults. Many formal methods have bee...
Fevzi Belli, Baris Güldali