A model-driven framework for guided design space exploration › Incremental Queries and Transformations: From Concepts to Industrial Applications › Verification of a Real-Time Safety-Critical Protocol Using a Modelling Language with Formal Data and Behaviour Semantics › Rete Network Slicing for Model Queries › Taxonomy term ›

SEViz: A Tool for Visualizing Symbolic Execution

CímSEViz: A Tool for Visualizing Symbolic Execution
Közlemény típusaConference Paper
Kiadás éve2015
SzerzőkHonfi, D., Vörös, A., and Micskei, Z.
Konferencia neveIEEE Int. Conf. on Software Testing, Verification and Validation (ICST)
Kiadás dátuma04/2015
KiadóIEEE
Konferencia helyszíneGraz, Austria
URLhttp://mit.bme.hu/~micskeiz/papers/honfi-voros-micskei-icst2015-tool.pdf
DOI10.1109/ICST.2015.7102631

Nyelvek

  • English
  • Magyar

Belépés

Navigáció