Reducing Configurations to Monitor in a Software Product Line

Chang Hwan Peter Kim, Eric Bodden, Don S. Batory, Sarfraz Khurshid. Reducing Configurations to Monitor in a Software Product Line. In Howard Barringer, Yliès Falcone, Bernd Finkbeiner, Klaus Havelund, Insup Lee, Gordon J. Pace, Grigore Rosu, Oleg Sokolsky, Nikolai Tillmann, editors, Runtime Verification - First International Conference, RV 2010, St. Julians, Malta, November 1-4, 2010. Proceedings. Volume 6418 of Lecture Notes in Computer Science, pages 285-299, Springer, 2010. [doi]

Authors

Chang Hwan Peter Kim

This author has not been identified. Look up 'Chang Hwan Peter Kim' in Google

Eric Bodden

Identified as Eric Bodden

Don S. Batory

This author has not been identified. It may be one of the following persons: Look up 'Don S. Batory' in Google

Sarfraz Khurshid

This author has not been identified. Look up 'Sarfraz Khurshid' in Google