Find link

language:

jump to random article

Find link is a tool written by Edward Betts.

searching for Symbolic execution 16 found (50 total)

alternate case: symbolic execution

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,362 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
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
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"
Charles Blount (deist) (1,275 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
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,155 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