A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2012; you can also visit the original URL.
The file type is
Model Checking of Software Components: Combining Java PathFinder and Behavior Protocol Model Checker
IEEE Software Engineering Workshop
Although there exist several software model checkers that check the code against properties specified e.g. via a temporal logic and assertions, or just verifying low-level properties (like unhandled exceptions), none of them supports checking of software components against a highlevel behavior specification. We present our approach to model checking of software components implemented in Java against a high-level specification of their behavior defined via behavior protocols  , which employsdoi:10.1109/sew.2006.23 dblp:conf/sew/ParizekPK06 fatcat:wk5p4fndqbfgdojxoaxbduysem