ASWEC
2015
IEEE
8 years 7 months ago
2015
IEEE
—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...
ASWEC
2015
IEEE
8 years 7 months ago
2015
IEEE
—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...
ASWEC
2015
IEEE
8 years 7 months ago
2015
IEEE
An important architectural challenge is to recover traceability links between the software architecture and artifacts produced in the other activities of the development process, ...
ASWEC
2015
IEEE
8 years 7 months ago
2015
IEEE
—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...
ASWEC
2015
IEEE
8 years 7 months ago
2015
IEEE
—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...
ASWEC
2015
IEEE
8 years 7 months ago
2015
IEEE
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...
ASWEC
2015
IEEE
8 years 7 months ago
2015
IEEE
—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...
ASWEC
2015
IEEE
8 years 7 months ago
2015
IEEE
—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...