Author:
Chadha Rohit,Legay Axel,Prabhakar Pavithra,Viswanathan Mahesh
Publisher
Springer Berlin Heidelberg
Cited by
4 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献
1. Conformance Testing for Timed Recursive Programs;Computer and Information Science 2015;2015-10-17
2. Non-deterministic Timed Pushdown Automata-Based Testing Evaluated by Mutation;2015 IEEE 24th International Conference on Enabling Technologies: Infrastructure for Collaborative Enterprises;2015-06
3. Model Checking Recursive Programs with Numeric Data Types;Computer Aided Verification;2011
4. Expected Reachability-Time Games;Lecture Notes in Computer Science;2010