Discriminating Traces with Time

DOI10.1007/978-3-662-54580-5_2zbMath1452.68055arXiv1702.07103OpenAlexW2591826331MaRDI QIDQ3303919

Ashutosh Trivedi, Saeid Tizpaz-Niari, Pavol Černý, Bor-Yuh Evan Chang, Sriram Sankaranarayanan

Publication date: 5 August 2020

Published in: Tools and Algorithms for the Construction and Analysis of Systems (Search for Journal in Brave)

Full work available at URL: https://arxiv.org/abs/1702.07103

zbMATH Keywords

integer linear programmingdecision treeexecution timedecision tree learningexecution trace

Mathematics Subject Classification ID

Mathematical aspects of software engineering (specification, verification, metrics, requirements, etc.) (68N30)

Uses Software

• rapidminer
• DroidMat

Cites Work

• Constructing optimal binary decision trees is NP-complete
• Mining specifications
• Tools and Algorithms for the Construction and Analysis of Systems
• Unnamed Item
• Unnamed Item

This page was built for publication: Discriminating Traces with Time