%PDF-1.4
%
1 0 obj
<<
/Subtype/Type1
/Type/Font
/BaseFont/Helvetica
/Encoding/WinAnsiEncoding
>>
endobj
2 0 obj
<<
/Meeting#20Starting#20Date(10 April 2018)
/ModDate(D:20240328211824+00'00')
/IEEE#20Article#20ID(8429478)
/CreationDate(D:20180405213643Z)
/IEEE#20Issue#20ID(8429467)
/Producer(PDFsharp 1.50.5147 \(www.pdfsharp.com\) \(Original: OpenPDF 1.0.0-SNAPSHOT; modified using iText 5.5.6 2000-2015 iText Group NV \(AGPL-version\)\))
/Subject(In software testing, as in cyber-physical systems testing, test suites are traditionally developed by hand. In this work we consider one framework for putting the computer in charge of the testing instead: constrained random test case generation as supported by the tool QuickCheck. This is implemented by the use of Valued Booleans \(VBools\). VBools naturally allow for an extension of QuickCheck into cyber-physical systems, which is useful particularly since QuickCheck can perform shrinking of test cases. Shrinking is a technique to make test cases simpler while preserving failure.)
/IEEE#20Publication#20ID(8429084)
/Title(Applying valued booleans in testing of cyber-physical systems)
/Meeting#20Ending#20Date(13 April 2018)
/Author(Claessen, K., Smallbone, N., Lidn Eddeland, J. et al)
/Keywords(Falsification, Testing, Cyber-Physical-Systems, )
/Creator(PDFsharp 1.50.5147 \(www.pdfsharp.com\))
>>
endobj
3 0 obj
<<
/Subtype/XML
/Type/Metadata
/Length 4096
>>
stream
dez9!W:yWyC%!+ϐϑ'˗7ȏ/ȯz7DnbfXؙ84f2dp(8&kLd5H}40/ҡko89::7qq3cCâڇɭZ6'.Vcɡ;$,!}[:[k6&U{8l>2>$ʘw1&-@Ww2j8`cɘnىKƵZڌ+8'c\{q_[ i)yEƆ%̍
_`kā$;;㒮- ?H7#z9le-`6&.-Zт!ƝIoceo꽍:Nbwq4[bF=#!,^58&$6>2$jFdDqs1sͣOh!˰Cb6ӻeywy"㓍xiY-LBޡ'JeA-;3^YZx
]f%̛07*$!2'.&$,