Test Generation through Programming in UDITA

First Page		Document Content
Date: 2010-02-11 09:29:21 Software testing Java Pathfinder Concolic testing Unit testing KeY Symbolic execution Null Object pattern D Test automation Computing Software engineering Computer programming		Test Generation through Programming in UDITA Add to Reading List Source URL: lara.epfl.ch Download Document from Source Website File Size: 258,26 KB Share Document on Facebook

	arXiv:1708.09114v1 [cs.CR] 30 AugFirmUSB: Vetting USB Device Firmware using Domain Informed Symbolic Execution Grant Hernandez∗ DocID: 1xVC4 - View Document
	Poster: Dynamic Taint Analysis of Concurrent Program Based on Symbolic Execution Yu Hao∗ , Xiaodong Zhang∗ , Zijiang Yang† and Ting Liu∗ ,IEEEauthorrefmark2 ∗ Ministry of Education Key Lab for Intelligent Netw DocID: 1xVzE - View Document
	Multi-Solver Support in Symbolic Execution Hristina Palikareva, Cristian Cadar SMT Workshop 2014, Vienna, 17 July 2014 Dynamic Symbolic Execution DocID: 1xV4A - View Document
	Symbolic Execution for a Clash-Free Subset of ASMs ? Gerhard Schellhorna , Gidon Ernsta , J¨org Pf¨ahlera , Stefan Bodenm¨ ullera , a Wolfgang Reif a Institute DocID: 1xU5v - View Document
	Symbolic execution for BIOS security1 Oleksandr Bazhaniuk, John Loucaides, Lee Rosenbaum, Mark R. Tuttle, Vincent Zimmer2 Intel Corporation May 25, 2015 Abstract We are building a tool that uses symbolic execution to DocID: 1viNk - View Document