92
Voted
ASWEC
2015
IEEE
9 years 11 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...
98
Voted
ASWEC
2015
IEEE
9 years 11 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...
186
Voted
ASWEC
2015
IEEE
9 years 11 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...
97
Voted
ASWEC
2015
IEEE
9 years 11 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...
103
Voted
ASWEC
2015
IEEE
9 years 11 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...