Sciweavers

668 search results - page 59 / 134
» Empirical Methods in Software Engineering Research
Sort
View
CBSQ
2003
Springer
14 years 3 months ago
Assessment of High Integrity Software Components for Completeness, Consistency, Fault-Tolerance, and Reliability
The use of formal model based (FMB) methods to evaluate the quality of the components is an important research area. Except for a growing number of exceptions, FMB methods are sti...
Hye Yeon Kim, Kshamta Jerath, Frederick T. Sheldon
ICSE
1993
IEEE-ACM
14 years 2 months ago
Formal Approaches to Software Architecture
Over the past 15 years there has been increasing recognition that careful attention to the design of a system’s software architecture is critical to satisfying its requirements ...
David Garlan
GECCO
2005
Springer
113views Optimization» more  GECCO 2005»
14 years 3 months ago
Search-based mutation testing for Simulink models
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...
Yuan Zhan, John A. Clark
ESEM
2009
ACM
14 years 4 months ago
Cognitive factors in perspective-based reading (PBR): A protocol analysis study
The following study investigated cognitive factors involved in applying the Perspective-Based Reading (PBR) technique for defect detection in software inspections. Using the proto...
Bryan Robbins, Jeff Carver
ICSM
2005
IEEE
14 years 3 months ago
A Controlled Experiment Assessing Test Case Prioritization Techniques via Mutation Faults
Regression testing is an important part of software maintenance, but it can also be very expensive. To reduce this expense, software testers may prioritize their test cases so tha...
Hyunsook Do, Gregg Rothermel