MACE: Model-inference-Assisted Concolic Exploration for Protocol and Vulnerability Discovery Chia Yuan Cho†‡ Kevin Zhijie Chen† † University of California, Berkeley

First Page		Document Content
Information Communications protocol Finite-state machine Algorithm Mealy machine Function Output Model checking Models of computation Mathematics Data		MACE: Model-inference-Assisted Concolic Exploration for Protocol and Vulnerability Discovery Chia Yuan Cho†‡ Kevin Zhijie Chen† † University of California, Berkeley Add to Reading List Source URL: www.cs.berkeley.edu Download Document from Source Website File Size: 211,26 KB Share Document on Facebook

	LNCSSynthesizing Number Transformations from Input-Output Examples DocID: 1xVOk - View Document
	Automatically Synthesizing SQL Queries from Input-Output Examples Sai Zhang Yuyin Sun DocID: 1xVm6 - View Document
	ganglion cells: how integraiotn of space-time patterns of excitiation and inhibition form the spiking output J. Neurophys 95: DocID: 1xVg6 - View Document
	Formal Specication and Development of Control System Input/Output Jonathan Jacky Radiation Oncology Department RC-08 University of Washington DocID: 1xUvZ - View Document
	Synthesizing Highly Expressive SQL Queries From Input-Output Examples http://scythe.cs.washington.edu Chenglong Wang, Alvin Cheung, Ras Bodík University of Washington DocID: 1xUu7 - View Document