Showing results 4 to 7 of 7
< previous
| 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 | ||
Testing context-sensitive middleware-based software applications Proceeding/Conference:Proceedings - International Computer Software and Applications Conference | 2004 | ||
Towards research on software cybernetics Proceeding/Conference:IEEE International Symposium on High-Assurance Systems Engineering | 2002 |