We review different flavors of symbolic execution, ranging from generalized symbolic execution to dynamic symbolic execution or concolic testing. We also identify challenges to symbolic execution, such as dealing with: looping constructs, multi-threading, recursive data structures, and complex mathematical constraints, as well as scalability challenges due to the path explosion problem. We disc...

determination of volume change of unsaturated soils during loading and suction change is one of the most important difficulties in testing unsaturated specimens. it is revealed from literature review that various attempts have been made to invent an apparatus that can be used in testing on unsaturated soil specimens, simply and accurately. in this research, details of design and manufacture of ...

Bridge load testing can answer a variety of questions about bridge behavior that cannot be answered otherwise. The current governing codes and guidelines for in the United States are 1998 NCHRP Manual Rating through Load Testing Chapter 8 AASHTO Evaluation. Over last two decades, practice has evolved, its intersections with other fields have expanded. outcomes tests been used to keep bridges op...

In this paper, we made the plan of a load testing, and got results by means of the LoadRunner which is an automatic load testing tool. We combined with the characteristics of electronic commerce system and did the load testing and analysis the result of load test by means of the LoadRunner. We fully described the characteristics of the electronic commerce application, designed the reasonable te...

Software applications providers have always been required to perform load testing prior to launching new applications. This crucial test phase is expensive in human and hardware terms, and the solutions generally used would benefit from further development. In particular, designing an appropriate load profile to stress an application is difficult and must be done carefully to avoid skewed testi...

OBJECTIVE Acute HIV infection often causes influenza-like illness (ILI) and is associated with high infectivity. We estimated the effectiveness and cost-effectiveness of strategies to identify and treat acute HIV infection in men who have sex with men (MSM) in the USA. DESIGN Dynamic model of HIV transmission and progression. INTERVENTIONS We evaluated three testing approaches: viral load t...

Several peak load management strategies are being widely employed in the residential sector, due to increased energy consumption and peak demand. The residential peak demand is very prominent and largely depends on the interaction between occupant’s energy consumption behaviour and appliance usage, hence the need to address end-use appliance usage based on consumer utilization pattern. This pap...