7 citations · 11 across the 2 of their papers we have counts for
2 papers
cs.SE2013★ 7 cited
Decomposability in Input Output Conformance Testing
Neda Noroozi, Mohammad Reza Mousavi, Tim A. C. Willemse
We study the problem of deriving a specification for a third-party component, based on the specification of the system and the environment in which the component is supposed to res…
cs.LO2012★ 4 cited
Expressiveness and Completeness in Abstraction
Maciej Gazda, Tim A. C. Willemse
We study two notions of expressiveness, which have appeared in abstraction theory for model checking, and find them incomparable in general. In particular, we show that according t…