Component Reliability Extensions for Fractal Component Model, 2008. ,
Handbook of Process Algebra, 2001. ,
Extracting Finite-state Models from Java Source Code. in proc, of the 22nd International Conference on Software Engineering, 2000. ,
Under-constrained execution, Proceedings of the 2007 international symposium on Software testing and analysis, ISSTA '07, 2007. ,
DOI : 10.1145/1273463.1273464
Heuristics for Model Checking Java Programs, Int. Journal on Software Tools for Technology Transfer (STTT), vol.6, issue.4 ,
Component Verification with Automatically Generated Assumptions, Automated Software Engineering, vol.9, issue.2, 2005. ,
DOI : 10.1007/s10515-005-2641-y
Generalized Symbolic Execution for Model Checking and Testing, Proc. of TACAS 2003, 2003. ,
DOI : 10.1007/3-540-36577-X_40
Behavior Protocol Verification: Fighting State Explosion, Journal of Computer and Inf. Science ACIS, vol.6, issue.1, pp.22-30, 2005. ,
Specification and Generation of Environment for Model Checking of Software Components, Proc. of Formal Foundations of Embedded Software and Component-Based Software Architectures, 2007. ,
DOI : 10.1016/j.entcs.2006.02.036
Model Checking of Software Components: Combining Java PathFinder and Behavior Protocol Model Checker, 2006 30th Annual IEEE/NASA Software Engineering Workshop, 2007. ,
DOI : 10.1109/SEW.2006.23
Behavior protocols for software components, IEEE Transactions on Software Engineering, vol.28, issue.11, 2002. ,
DOI : 10.1109/TSE.2002.1049404
Component Software: Beyond Object-Oriented Programming, 2002. ,