<--- Back to Details
First PageDocument Content
Programming language implementation / Compiler construction / Fuzz testing / Parsing / Symbolic execution / Concolic testing / Lexical analysis / Model-based testing / Lex / Software testing / Computing / Software engineering
Date: 2008-03-28 16:58:30
Programming language implementation
Compiler construction
Fuzz testing
Parsing
Symbolic execution
Concolic testing
Lexical analysis
Model-based testing
Lex
Software testing
Computing
Software engineering

Add to Reading List

Source URL: people.csail.mit.edu

Download Document from Source Website

File Size: 171,38 KB

Share Document on Facebook

Similar Documents

Cloud infrastructure / IBM cloud computing / Computing / Cloud computing

InsFtute
of
Molecular
Systems
Biology

 Accelerating 3D Protein Modeling Using Cloud Computing 
 Lars
Malmström,
Ruedi
Aebersold
–
ETH
Zürich,
IMSB
h?p://www.imsb.ethz.ch
 Wibke
Sud

DocID: 1xW13 - View Document

Erste Diskussionsrunde Treiber und betroffene Gebiete • Cloud Computing ist ein neuer Versuch, eine alte Idee zu reanimieren. Es handelt sich im Grund um eine blosse Marketing & Sales-Kampagne der Anbieter von Infrastr

DocID: 1xW0r - View Document

Probability and statistics / Statistics / Statistical randomness / Stochastic computing / Applied mathematics / Stochastic optimization / Artificial neural network / Mathematical optimization / Stochastic process

Stochastic Synthesis for Stochastic Computing Vincent T. Lee, Armin Alaghi, Luis Ceze, Mark Oskin University of Washington arXiv:1810.04756v1 [cs.ET] 10 Oct 2018

DocID: 1xVZF - View Document

Economy / Finance / Money / Investment management / Money managers / Institutional investors / Robotics / Robot / Asset allocation / Chartered Financial Analyst / Artificial intelligence

Robotics - the next revolution in technology? From the early industrial revolution of the 18th century, powered by water and steam, to the combustion engine for cars in the 19th century and then to computing in the 20th

DocID: 1xVUw - View Document

Mathematics / Computer arithmetic / Numerical analysis / Applied mathematics / Arithmetic / Interval arithmetic / Computer-assisted proof / Computational science / Scan

SCAN 2018 Post-conference Proceedings Special Issue of Journal of Computational and Applied Mathematics Call for Papers Special Issue on the 18th International Symposium on Scientific Computing, Computer Arithmetic,

DocID: 1xVSx - View Document