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

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

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

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

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