Record Beta

International Conference on Tools and Methods for Program Analysis

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

rdf:type	portal:Conference
schema:location	Moscow (wd:Q649)
rdfs:label	International Conference on Tools and Methods for Program Analysis
portal:acronym	TMPA
portal:area	https://id.confref.org/data/confref-portal/area/2
portal:city	Moscow
portal:country	Russia
portal:endDate	2017-03-04
portal:keyword	Abstract interpretation
portal:keyword	Abstract string domain
portal:keyword	Appium
portal:keyword	Automation
portal:keyword	Bounded model checking
portal:keyword	Classification
portal:keyword	Cloud computing
portal:keyword	Combinatorial Interaction Testing
portal:keyword	Complexity
portal:keyword	Compositionality
portal:keyword	Computer Game
portal:keyword	Cost-aware testing
portal:keyword	Covering Arrays
portal:keyword	Data race
portal:keyword	Defect report
portal:keyword	Distributed computing
portal:keyword	Distributed systems
portal:keyword	Dynamic analysis
portal:keyword	Static analysis
portal:keyword	computational effects
portal:name	International Conference on Tools and Methods for Program Analysis
portal:portalPage	http://portal.confref.org/list/tmpa2017
portal:series	https://id.confref.org/data/confref-portal/series/tmpa
portal:startDate	2017-03-03
portal:submissionExtended	false
portal:year	2017
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.