Showing results 1 to 2 of 2
Title | Author(s) | Issue Date | |
---|---|---|---|
Metamorphic testing and beyond Proceeding/Conference:International Workshop on Software Technology and Engineering Practice Proceedings | 2004 | ||
Semi-proving: An integrated method for program proving, testing, and debugging Journal:IEEE Transactions on Software Engineering | 2011 |