"On Testing against Partial Non-observable Specifications."

Natalia Kushik, Nina Yevtushenko, Ana R. Cavalli (2014)
a service of Schloss Dagstuhl - Leibniz Center for Informatics