Sciweavers

Share
ASWEC
2015
IEEE
3 years 11 months ago
Multiple Bug Spectral Fault Localization Using Genetic Programming
—Debugging is crucial for producing reliable software. One of the effective bug localization techniques is SpectralBased Fault Localization (SBFL). It locates a buggy statement b...
Lee Naish, Neelofar, Kotagiri Ramamohanarao
ASWEC
2015
IEEE
3 years 11 months ago
Scalable Rollback for Cloud Operations Using AI Planning
—Human-induced faults play a large role in systems reliability. In cloud platforms, system administrators may inadvertently make catastrophic mistakes, like deleting a virtual di...
Suhrid Satyal, Ingo Weber, Len Bass, Min Fu
ASWEC
2015
IEEE
3 years 11 months ago
Cost-Effective Traceability Links for Architecture-Level Software Understanding: A Controlled Experiment
An important architectural challenge is to recover traceability links between the software architecture and artifacts produced in the other activities of the development process, ...
Muhammad Atif Javed, Srdjan Stevanetic, Uwe Zdun
ASWEC
2015
IEEE
3 years 11 months ago
The Impact of Hierarchies on the Architecture-Level Software Understandability - A Controlled Experiment
—Architectural component models represent high level designs and are frequently used as a central view of architectural descriptions of software systems. They play a crucial role...
Srdjan Stevanetic, Muhammad Atif Javed, Uwe Zdun
ASWEC
2015
IEEE
3 years 11 months ago
Software Architecture Decision-Making Practices and Challenges: An Industrial Case Study
—Software architecture decision-making is critical to the success of a software system as software architecture sets the structure of the system, determines its qualities, and ha...
Sandun Dasanayake, Jouni Markkula, Sanja Aaramaa, ...
ASWEC
2015
IEEE
3 years 11 months ago
Compositional Symbolic Execution Using Fine-Grained Summaries
Abstract—Compositional symbolic execution has been proposed as a way to increase the efficiency of symbolic execution. Essentially, when a function is symbolically executed, a s...
Yude Lin, Tim Miller, Harald Søndergaard
ASWEC
2015
IEEE
3 years 11 months ago
Using Metamorphic Testing to Improve Dynamic Symbolic Execution
—Dynamic symbolic execution (DSE) is an approach for automatically generating test inputs from source code using constraint information. It is used in fuzzing: the execution of t...
Eman Alatawi, Tim Miller, Harald Søndergaar...
ASWEC
2015
IEEE
3 years 11 months ago
Runtime Recovery Actions Selection for Sporadic Operations on Cloud
—Sporadic operations such as rolling upgrade or machine instance redeployment are prone to unpredictable failures in the cloud largely due to the inherent high variability nature...
Min Fu, Liming Zhu, Daniel Sun, Anna Liu, Len Bass...
books