Semi-Proving: An Integrated Method for Program Proving, Testing, and Debugging

标题
Semi-Proving: An Integrated Method for Program Proving, Testing, and Debugging
作者
关键词
-
出版物
IEEE TRANSACTIONS ON SOFTWARE ENGINEERING
Volume 37, Issue 1, Pages 109-125
出版商
Institute of Electrical and Electronics Engineers (IEEE)
发表日期
2010-02-13
DOI
10.1109/tse.2010.23

向作者/读者发起求助以获取更多资源

Add your recorded webinar

Do you already have a recorded webinar? Grow your audience and get more views by easily listing your recording on Peeref.

Upload Now

Become a Peeref-certified reviewer

The Peeref Institute provides free reviewer training that teaches the core competencies of the academic peer review process.

Get Started