Tsutomu Kumazawa

List of publications from the DBLP Bibliography Server - FAQ

Ask others: ACM DL/Guide -

- CSB - MetaPress - Google - Bing - Yahoo

2011

2 Tsutomu Kumazawa, Tetsuo Tamai: Counterexample-Based Error Localization of Behavior Models. NASA Formal Methods 2011: 222-236

2008

1 Tsutomu Kumazawa, Tetsuo Tamai: Iterative Model Fixing with Counterexamples. APSEC 2008: 369-376

	2011
2		Tsutomu Kumazawa, Tetsuo Tamai: Counterexample-Based Error Localization of Behavior Models. NASA Formal Methods 2011: 222-236
	2008
1		Tsutomu Kumazawa, Tetsuo Tamai: Iterative Model Fixing with Counterexamples. APSEC 2008: 369-376

Coauthor Index

1 Tetsuo Tamai [1] [2]

Last update Sun Jun 3 16:06:10 2012 CET by the DBLP Team —

Data released under the ODC-BY 1.0 license — See also our legal information page