language:
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 monitoringCrash (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 CopyRuntime 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 ofJava 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. JMLUnitEvoSuite (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 SoftwareStudy 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 "GodISP 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.eduAmerican 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-5Charles 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 PhilopatrisParasoft (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 advisorAutomatic 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 introducedList 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). DonskoyeDevice 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 driversAlexander 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 demonstrationCao 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