Improving fact extraction of framework-based software systems | IEEE Conference Publication | IEEE Xplore