2
Downloads
10
Views
0
Upvotes

Weak-Assert: A Weakness-Oriented Assertion Recommendation Toolkit for Program Analysis

Author email: congwang@cityu.edu.hk
Tool name: Weak
Description: the system’s architectural stability.
Bibtex: "@inproceedings{wang2018weak, title={Weak-assert: A weakness-oriented assertion recommendation toolkit for program analysis}, author={Wang, Cong and Jiang, Yu and Zhao, Xibin and Song, Xiaoyu and Gu, Ming and Sun, Jiaguang}, booktitle={2018 IEEE/ACM 40th International Conference on Software Engineering: Companion (ICSE-Companion)}, pages={69--72}, year={2018}, organization={IEEE} }"
Link to public pdf: https://dl.acm.org/results.cfm?query=Weak-Assert%3A+A+Weakness-Oriented+Assertion+Recommendation+Toolkit+for+Program+Analysis&Go.x=0&Go.y=0
Link to tool webpage: http://congwang92.cn/wa/
Link to demo: https://youtu.be/_RWC4GJvRWc
Category: None
Tags: assertion recommendation, program weakness, formal program verification, program testing
Artifacts:
Year and Conference: 2018, ICSE
Terms of use

Comments