Sciweavers

TR
2010
158views Hardware» more  TR 2010»
13 years 6 months ago
Multi-Objective Approaches to Optimal Testing Resource Allocation in Modular Software Systems
Software testing is an important issue in software engineering. As software systems become increasingly large and complex, the problem of how to optimally allocate the limited test...
Zai Wang, Ke Tang, Xin Yao
RE
2010
Springer
13 years 6 months ago
Effort and Quality of Recovering Requirements-to-Code Traces: Two Exploratory Experiments
Trace links between requirements and code are essential for many software development and maintenance activities. Despite significant advances in traceability research, creating li...
Alexander Egyed, Florian Graf, Paul Grünbache...
IEE
2011
13 years 7 months ago
Using autonomous components to improve runtime qualities of software
: In the development of software systems, quality properties should be considered along with the development process so that the qualities of software systems can be inferred and p...
Wenpin Jiao
CSMR
2010
IEEE
13 years 7 months ago
Utilizing Debug Information to Compact Loops in Large Program Traces
In recent years, dynamic program execution traces have been utilized in an attempt to better understand the runtime behavior of various software systems. The unfortunate reality of...
Del Myers, Margaret-Anne D. Storey, Martin Salois
ICSEA
2009
IEEE
13 years 9 months ago
Strengthening Refactoring: Towards Software Evolution with Quantitative and Experimental Grounds
: Refactoring is a process meant to improve the internal quality of software systems. However, while on one hand, the guidelines for this delicate process are still empirical and q...
Sergio Bryton, Fernando Brito e Abreu
ICSE
2009
IEEE-ACM
13 years 9 months ago
Reflecting on self-adaptive software systems
Self-adaptability has been proposed as an effective approach to automate the complexity associated with the management of modern-day software systems. While over the past decade w...
Jesper Andersson, Rogério de Lemos, Sam Mal...
ICSE
2009
IEEE-ACM
13 years 9 months ago
Security Test Generation Using Threat Trees
Software security issues have been a major concern to the cyberspace community, so a great deal of research on security testing has been performed, and various security testing te...
Aaron Marback, Hyunsook Do, Ke He, Samuel Kondamar...
ICDT
2009
ACM
121views Database» more  ICDT 2009»
13 years 9 months ago
Automatic verification of database-driven systems: a new frontier
We describe a novel approach to verification of software systems centered around an underlying database. Instead of applying general-purpose techniques with only partial guarantee...
Victor Vianu
SIGSOFT
2010
ACM
13 years 10 months ago
Lawful software engineering
Legislation is constantly affecting the way in which software developers can create software systems, and deliver them to their users. This raises the need for methods and tools t...
Daniel M. Germán, Jens H. Webber, Massimili...
CASCON
2010
174views Education» more  CASCON 2010»
13 years 10 months ago
Smart Services Across the Real and Virtual Worlds
Today, we are witnessing a new level of scale, complexity, and pervasiveness of software systems that are designed to support much more holistically complex processes. Much richer...
Eleni Stroulia