ARG1

#	Item
1	RWset: Attacking Path Explosion in Constraint-Based Test Generation Cristian Cadar, Peter Boonstoppel, Dawson Engler TACAS 2008, Budapest, Hungary ETAPS 2008 Add to Reading List Source URL: www.doc.ic.ac.uk Language: English - Date: 2016-03-08 07:04:46 Software Computing Application software Functional languages Cat Symbolic execution ARG2 ARG1 R
2	Thinklab syntax Full Thinklab model syntax summary model Concept \| literal-value \| function-call(arg1, arg2, ...) // i.e. either a Concept, or a literal value, or a function named model-name Add to Reading List Source URL: www.bc3research.org - Date: 2015-04-13 07:56:27
3	Thinklab syntax Gary Johnson Full Thinklab model syntax summary model Concept \| literal-value \| function-call(arg1, arg2, ...) // i.e. either a Concept, or a literal value, or a function Add to Reading List Source URL: www.bc3research.org Language: English - Date: 2014-04-03 16:57:38