Record Beta

International Conference on Tests and Proofs

https://id.confref.org/data/confref-portal/event/tap2019a

rdf:type	portal:Conference
schema:location	Porto (wd:Q36433)
rdfs:label	International Conference on Tests and Proofs
portal:acronym	TAP
portal:area	https://id.confref.org/data/confref-portal/area/2
portal:city	Porto
portal:country	Portugal
portal:endDate	2019-10-11
portal:keyword
portal:keyword	Abstract interpretation
portal:keyword	Active inference
portal:keyword	Automatic stub generation
portal:keyword	B Method
portal:keyword	Bounded model checking
portal:keyword	Component-based Systems
portal:keyword	Concolic test generation
portal:keyword	EMQ
portal:keyword	FSM learning
portal:keyword	Genetic algorithms
portal:keyword	Internet of Things
portal:keyword	Latency
portal:keyword	MQTT
portal:keyword	Model-based testing
portal:keyword	adaptive testing
portal:keyword	code coverage
portal:keyword	communicating FSMs
portal:keyword	conformance testing
portal:keyword	formal verification
portal:name	International Conference on Tests and Proofs
portal:portalPage	http://portal.confref.org/list/tap2019a
portal:series	https://id.confref.org/data/confref-portal/series/tap
portal:startDate	2019-10-09
portal:submissionExtended	false
portal:year	2019
cr:discipline	computer science (wd:Q21198)
cr:field	Computer and information sciences (https://id.confref.org/data/oecd-fos/1.2)

Beta confref labs is under development. Identifiers are stable; pages, data and services can change.