Tests and Proofs  - TAP

领  域:  软件工程

论文统计图
最新的论文更多>>
Time for Mutants - Model-Based Mutation Testing with Timed Automata  
Bernhard K. Aichernig , Lorber, Florian , Dejan Nickovic
Tests and Proofs  2013
0次引用 0 0
Speeding Up Algorithmic Debugging Using Balanced Execution Trees  
David Insa , Josep Silva , Adrian Riesco
Tests and Proofs  2013
0次引用 0 0
Test Program Generation for a Microprocessor - A Case-Study  
Achim D. Brucker , Abderrahmane Feliachi , Yakoub Nemouchi , Burkhart Wolff
Tests and Proofs  2013
0次引用 0 0
Model-Based Testing for Verification Back-Ends  
Cyrille Artho , Armin Biere , Martina Seidl
Tests and Proofs  2013
0次引用 0 0
Incremental Refinement Checking for Test Case Generation  
Bernhard K. Aichernig , Elisabeth Jobstl , Matthias Kegele
Tests and Proofs  2013
0次引用 0 0
 录用率: 参会人数: 影响力:
投稿方向:
会议点评
还没有人点评哦
主要作者
Nikolai Kosmatov
Software Safety Lab., CEA, Gif-sur-Yvette, France
 
Bernhard Beckert
Karlsruher Institute of Technology
 
Christoph Gladisch
University of Koblenz Landau
 
Jonathan de Halleux
Microsoft
 
Angelo Gargantini
Università degli Studi di Bergamo
 
主要概念
Feedback
Feedback
Feedback
我想反馈:
排行榜