Find link

language:

Find link is a tool written by Edward Betts.

searching for Symbolic execution 16 found (50 total)

Java Pathfinder (738 words) [view diff] exact match in snippet view article find links to article

model checking of user interfaces test case generation by means of symbolic execution low level program inspection program instrumentation and runtime monitoring

Crash (computing) (1,441 words) [view diff] exact match in snippet view article

reproduce them locally. For this, several techniques exist: STAR uses symbolic execution, EvoCrash performs evolutionary search. Blue Screen of Death Copy

Runtime verification (4,441 words) [view diff] exact match in snippet view article find links to article

symbolic execution. In symbolic execution programs are executed and monitored symbolically, that is, without concrete inputs. One symbolic execution of

Java Modeling Language (954 words) [view diff] exact match in snippet view article find links to article

various tools that make use of JML annotations. Sireum/Kiasan, a symbolic execution based static analyzer which supports JML as a contract language. JMLUnit

EvoSuite (483 words) [view diff] case mismatch in snippet view article find links to article

S2CID 15272060. Cseppento, L.; Micskei, Z. (2015). "Evaluating Symbolic Execution-Based Test Tools". 2015 IEEE 8th International Conference on Software

Study after Velázquez's Portrait of Pope Innocent X (1,367 words) [view diff] exact match in snippet view article find links to article

Nietzschean and atheist, and some contemporary critics saw the series as symbolic execution scenes, as if Bacon sought to enact Nietzsche's declaration that "God

ISP Formal Verification Tool (588 words) [view diff] exact match in snippet view article find links to article

344—353, LNCS 4757, France, September 30 - October 3, 2007 Combining symbolic execution with model checking to verify parallel numerical programs,umass.edu

American Fuzzy Lop (software) (2,465 words) [view diff] exact match in snippet view article

S2CID 29430742. Poeplau, Sebastian; Francillon, Aurélien (2020). Symbolic execution with {SymCC}: Don't interpret, compile!. pp. 181–198. ISBN 978-1-939133-17-5

Charles Blount (deist) (987 words) [view diff] exact match in snippet view article

fined, and the pamphlet was burned by the common hangman (i.e. a symbolic execution of the book for treason). The same year, he assumed the name of Philopatris

Parasoft (1,056 words) [view diff] exact match in snippet view article find links to article

system for generating a computer program test suite using dynamic symbolic execution uspto.gov "Parasoft C++test developer toolkit integrated into IDEs"

Lori A. Clarke (289 words) [view diff] case mismatch in snippet view article find links to article

University of Massachusetts Amherst Thesis Test Data Generation and Symbolic Execution of Programs as an Aid to Program Validation (1976) Doctoral advisor

Automatic bug fixing (4,117 words) [view diff] exact match in snippet view article find links to article

Repair techniques exist that are based on symbolic execution. For example, Semfix uses symbolic execution to extract a repair constraint. Angelix introduced

List of mass graves from Soviet mass executions (1,406 words) [view diff] exact match in snippet view article find links to article

The names of 20,702 victims are etched on the granite walls of the symbolic execution trenches in the Garden of Remembrance (opened September 2017). Donskoye

Device driver synthesis and verification (3,035 words) [view diff] exact match in snippet view article find links to article

with respect to the given correct specifications. Model checking and symbolic execution are used to verify the safety-critical properties of device drivers

Alexander Dolgushin (747 words) [view diff] exact match in snippet view article find links to article

were sentenced to five years hard labor. They were also subjected to symbolic execution, during which one of the group, Nikolai Plotnikov, started a demonstration

Cao Cao (28,187 words) [view diff] exact match in snippet view article find links to article

Chinese did not cut their hair. Cao Cao was actually performing a symbolic execution on himself when he cut off his hair because the lock of hair he cut