Search Results - "Groce, Alex"

Manticore: A User-Friendly Symbolic Execution Framework for Binaries and Smart Contracts by Mossberg, Mark, Manzano, Felipe, Hennenfent, Eric, Groce, Alex, Grieco, Gustavo, Feist, Josselin, Brunson, Trent, Dinaburg, Artem

“…An effective way to maximize code coverage in software tests is through dynamic symbolic execution-a technique that uses constraint solving to systematically…”
Get full text

Slither: A Static Analysis Framework for Smart Contracts by Feist, Josselin, Grieco, Gustavo, Groce, Alex

“…This paper describes Slither, a static analysis framework designed to provide rich information about Ethereum smart contracts. It works by converting Solidity…”
Get full text

Heuristics for model checking Java programs by Groce, Alex, Visser, Willem

“…Model checking of software programs has two goals - the verification of correct software and the discovery of errors in faulty software. Some techniques for…”
Get full text

Using mutants to help developers distinguish and debug (compiler) faults by Holmes, Josie, Groce, Alex

“…Summary Measuring the distance between two program executions is a fundamental problem in dynamic analysis of software and useful in many test generation and…”
Get full text

An Entry Point for Formal Methods: Specification and Analysis of Event Logs by Barringer, Howard, Groce, Alex, Havelund, Klaus, Smith, Margaret

“…Formal specification languages have long languished, due to the grave scalability problems faced by complete verification methods. Runtime verification…”
Get full text

Causal Distance-Metric-Based Assistance for Debugging after Compiler Fuzzing by Holmes, Josie, Groce, Alex

“…Measuring the distance between two program executions is a fundamental problem in dynamic analysis of software, and useful in many test generation and…”
Get full text

SMARTIAN: Enhancing Smart Contract Fuzzing with Static and Dynamic Data-Flow Analyses by Choi, Jaeseung, Kim, Doyeon, Kim, Soomin, Grieco, Gustavo, Groce, Alex, Cha, Sang Kil

“…Unlike traditional software, smart contracts have the unique organization in which a sequence of transactions shares persistent states. Unfortunately, such a…”
Get full text

Mutation Reduction Strategies Considered Harmful by Gopinath, Rahul, Ahmed, Iftekhar, Alipour, Mohammad Amin, Jensen, Carlos, Groce, Alex

“…Mutation analysis is a well known yet unfortunately costly method for measuring test suite quality. Researchers have proposed numerous mutation reduction…”
Get full text

Mutations: How Close are they to Real Faults? by Gopinath, Rahul, Jensen, Carlos, Groce, Alex

“…Mutation analysis is often used to compare the effectiveness of different test suites or testing techniques. One of the main assumptions underlying this…”
Get full text

An extensible, regular-expression-based tool for multi-language mutant generation by Groce, Alex, Holmes, Josie, Marinov, Darko, Shi, August, Zhang, Lingming

“…Mutation testing is widely used in research (even if not in practice). Mutation testing tools usually target only one programming language and rely on parsing…”
Get full text

Proceedings 2nd International Workshop on Causal Reasoning for Embedded and safety-critical Systems Technologies: Preface by Groce, Alex, Leue, Stefan

Get full text

Swarm Verification Techniques by Holzmann, G. J., Joshi, R., Groce, A.

“…The range of verification problems that can be solved with logic model checking tools has increased significantly in the last few decades. This increase in…”
Get full text

Fuzz Testing the Compiled Code in R Packages by Kolla, Akhila Chowdary, Groce, Alex, Hocking, Toby Dylan

“…R packages written in the widely used Rcpp frame-work are typically tested using expected input/output pairs that are manually coded by package developers…”
Get full text

Mind the Gap: The Difference Between Coverage and Mutation Score Can Guide Testing Efforts by Jain, Kush, Kalburgi, Goutamkumar Tulajappa, Le Goues, Claire, Groce, Alex

“…An "adequate" test suite should effectively find all inconsistencies between a system's requirements/specifications and its implementation. Practitioners…”
Get full text

Cause reduction: delta debugging, even without bugs by Groce, Alex, Alipour, Mohammad Amin, Zhang, Chaoqiang, Chen, Yang, Regehr, John

“…Summary What is a test case for? Sometimes, to expose a fault. Tests can also exercise code, use memory or time, or produce desired output. Given a desired…”
Get full text

Error explanation with distance metrics by Groce, Alex, Chaki, Sagar, Kroening, Daniel, Strichman, Ofer

“…In the event that a system does not satisfy a specification, a model checker will typically automatically produce a counterexample trace that shows a…”
Get full text

How verified (or tested) is my code? Falsification-driven verification and testing by Groce, Alex, Ahmed, Iftekhar, Jensen, Carlos, McKenney, Paul E., Holmes, Josie

“…Formal verification has advanced to the point that developers can verify the correctness of small, critical modules. Unfortunately, despite considerable…”
Get full text

TSTL: the template scripting testing language by Holmes, Josie, Groce, Alex, Pinto, Jervis, Mittal, Pranjal, Azimi, Pooria, Kellar, Kevin, O’Brien, James

“…A test harness, in automated test generation, defines the set of valid tests for a system, as well as their correctness properties. The difficulty of writing…”
Get full text

You Are the Only Possible Oracle: Effective Test Selection for End Users of Interactive Machine Learning Systems by Groce, Alex, Kulesza, Todd, Chaoqiang Zhang, Shamasunder, Shalini, Burnett, Margaret, Weng-Keen Wong, Stumpf, Simone, Das, Shubhomoy, Shinsel, Amber, Bice, Forrest, McIntosh, Kevin

“…How do you test a program when only a single user, with no expertise in software testing, is able to determine if the program is performing correctly? Such…”
Get full text

Exploiting abstraction, learning from random simulation, and SVM classification for efficient dynamic prediction of software health problems by Velev, Miroslav N., Chaoqiang Zhang, Ping Gao, Groce, Alex D.

“…We present industrial experience on software health monitoring. Our goal was to determine whether we can predict abnormal behavior, based on data captured from…”
Get full text