Proceedings 7th Workshop on Model-Based Testing, MBT 2012, Tallinn, Estonia, 25 March 2012.  - 

领  域:  

论文统计图
最新的论文更多>>
Using Built-In Domain-Specific Modeling Support to Guide Model-Based Test Generation  
Teemu Kanstren , Olli-Pekka Puolitaival
Proceedings 7th Workshop on Model-Based Testing, MBT 2012, Tallinn, Estonia, 25 March 2012.  2012
0次引用 0 0
Towards Symbolic Model-Based Mutation Testing: Combining Reachability and Refinement Checking  
Bernhard K. Aichernig , Elisabeth Jobstl
Proceedings 7th Workshop on Model-Based Testing, MBT 2012, Tallinn, Estonia, 25 March 2012.  2012
0次引用 0 0
Exact Gap Computation for Code Coverage Metrics in ISO-C  
Detlef Richter , Berg, Christian
Proceedings 7th Workshop on Model-Based Testing, MBT 2012, Tallinn, Estonia, 25 March 2012.  2012
0次引用 0 0
Model-Based Security Testing  
Ina K Schieferdecker , Juergen Grossmann , Schneider, Martin
Proceedings 7th Workshop on Model-Based Testing, MBT 2012, Tallinn, Estonia, 25 March 2012.  2012
0次引用 0 0
Constraint-Based Heuristic On-line Test Generation from Non-deterministic I/O EFSMs  
Danel Ahman , Marko Kääramees
Proceedings 7th Workshop on Model-Based Testing, MBT 2012, Tallinn, Estonia, 25 March 2012.  2012
0次引用 0 0
 录用率: 参会人数: 影响力:
投稿方向:
会议点评
还没有人点评哦
主要作者
Marielle Stoelinga
University of Twente
 
Marko Kääramees
Dept. of Control Syst., Inst. of Cybern., Tallin
 
Bernhard K. Aichernig
Graz University of Technology
 
Daniel Ratiu
Tech. Universitdt Munchen, Munich, Germany
 
Detlef Richter
 
Feedback
Feedback
Feedback
我想反馈:
排行榜