Výsledky vyhledávání - "Theory of computation Semantics and reasoning Program reasoning"

Improving Fault Localization by Integrating Value and Predicate Based Causal Inference Techniques Autor Kucuk, Yigit, Henderson, Tim A. D., Podgurski, Andy

“…/failure, and so they are subject to confounding bias that distorts the scores they produce…”
Získat plný text

A Generalized Approach for Solving Web Form Constraints Autor Karthein, Bjorn, Staicu, Cristian-Alexandru, Zeller, Andreas

“… Filling out forms automatically is challenging, as form fields would typically be subject to specific constraints that prevent entry of invalid data…”
Získat plný text

Verifying Determinism in Sequential Programs Autor Mudduluru, Rashmi, Waataja, Jason, Millstein, Suzanne, Ernst, Michael

“…When a program is nondeterministic, it is difficult to test and debug. Nondeterminism occurs even in sequential programs iterating over the elements of a hash…”
Získat plný text

SBFT Tool Competition 2024 - Python Test Case Generation Track Autor Erni, Nicolas, Mohammed, Al-Ameen Mohammed Ali, Birchler, Christian, Derakhshanfar, Pouria, Lukasczyk, Stephan, Panichella, Sebastiano

“… budget of 400 seconds. We considered one configuration of each tool for each test subject and evaluated the tools…”
Získat plný text

Leveraging Propagated Infection to Crossfire Mutants Autor Du, Hang, Palepu, Vijay Krishna, Jones, James A.

“… We conducted a study and found that many such surviving mutants (up to 84% for the subjects of our study…”
Získat plný text

Using symbolic evaluation to understand behavior in configurable software systems Autor Reisner, Elnatan, Song, Charles, Ma, Kin-Keung, Foster, Jeffrey S., Porter, Adam

“… We used symbolic evaluation to discover how the settings of run-time configuration options affect line, basic block, edge, and condition coverage for our subjects under a given test suite…”
Získat plný text

SemFix: program repair via semantic analysis Autor Nguyen, Hoang Duong Thien, Qi, Dawei, Roychoudhury, Abhik, Chandra, Satish

“…Debugging consumes significant time and effort in any major software development project. Moreover, even after the root cause of a bug is identified, fixing…”
Získat plný text

Precimonious: tuning assistant for floating-point precision Autor Rubio-González, Cindy, Nguyen, Cuong, Nguyen, Hong Diep, Demmel, James, Kahan, William, Sen, Koushik, Bailey, David H., Iancu, Costin, Hough, David

“… Precimonious performs a search on the types of the floating-point program variables trying to lower their precision subject to accuracy constraints and performance goals…”
Získat plný text

SMT-based bounded model checking for multi-threaded software in embedded systems Autor Cordeiro, Lucas

“…The transition from single-core to multi-core processors has made multi-threaded software an important subject over the last years in computer-aided verification…”
Získat plný text

Strategies for product-line verification: case studies and experiments Autor Apel, Sven, Rhein, Alexander von, Wendler, Philipp, Größlinger, Armin, Beyer, Dirk

“… We have collected and prepared six product lines as subject systems for experimentation. Furthermore, we have developed a model-checking tool chain for C-based and Java-based…”
Získat plný text

Dynamic shape analysis of program heap using graph spectra (NIER track) Autor Malik, Muhammad Zubair

“… Initial experiments show that this approach can generate meaningful summaries for a range of subject structures…”
Získat plný text

Predicting common web application vulnerabilities from input validation and sanitization code patterns Autor Shar, Lwin Khin, Tan, Hee Beng Kuan

“…Software defect prediction studies have shown that defect predictors built from static code attributes are useful and effective. On the other hand, to mitigate…”
Získat plný text

Intrusion detection using signatures extracted from execution profiles Autor El-Ghali, M., Masri, W.

“…An application based intrusion detection system is a security mechanism designed to detect malicious behavior that could compromise the security of a software…”
Získat plný text

Local and On-the-fly Choreography-based Web Service Composition Autor Mitra, Saayan, Basu, Samik, Kumar, Ratnesh

“… to the desired required functionality. Such a technique is subject to state-space explosion. In light of this, we have developed a tabled-logic programming technique…”
Získat plný text