Showing results 72 to 91 of 91
< previous
| Title | Author(s) | Issue Date | |
|---|---|---|---|
Semi-proving: An integrated method based on global symbolic evaluation and metamorphic testing Proceeding/Conference:Proceedings of the ACM SIGSOFT 2002 International Symposium on Software Testing and Analysis | 2002 | ||
Semi-proving: An integrated method for program proving, testing, and debugging Journal:IEEE Transactions on Software Engineering | 2011 | ||
Software testing education and training in Hong Kong Proceeding/Conference:International Conference on Quality Software Proceedings | 2005 | ||
Source attack of decoy-state quantum key distribution using phase information Journal:Physical Review A (Atomic, Molecular and Optical Physics) | 2013 | ||
Special issue for the second Asia-Pacific conference on quality software Proceeding/Conference:Information and Software Technology | 2002 | ||
Structure-Dependent Photoluminescence in Low-Dimensional Ethylammonium, Propylammonium, and Butylammonium Lead Iodide Perovskites Journal:ACS Applied Materials and Interfaces | 29-Jan-2020 | ||
A study on input domain partitioning Proceeding/Conference:Proceedings of the 20th IASTED International Multi-Conference on Applied Informatics (AI 2002), ACTA Press, Calgary, Canada | 2002 | ||
| 2015 | |||
Synthesis, crystal structure and catalytic activities of [RuIII(bbpc)(PPh3)Cl] [H2bbpc = 1,2-bis(4-tert-butylpyridine-2-carboxamido)-4,5-dichlorobenzene] Journal:Journal of the Chemical Society, Dalton Transactions | 1995 | ||
TACCLE: A Methodology for Object-Oriented Software Testing at the Class and Cluster Levels Journal:ACM Transactions on Software Engineering and Methodology | 2001 | ||
Teaching family planning with expert system Journal:Computers and Education | 1995 | ||
Test case selection with and without replacement Journal:Information sciences | 2000 | ||
Testing context-sensitive middleware-based software applications Proceeding/Conference:Proceedings - International Computer Software and Applications Conference | 2004 | ||
Testing of large number multiplication functions in cryptographic systems Proceeding/Conference:Asia-Pacific Conference on Quality Software Proceedings | 2000 | ||
Toward a k-means clustering approach to adaptive random testing for object-oriented software Journal:Science China Information Sciences | 2019 | ||
Towards a problem-driven approach to perspective-based reading Proceeding/Conference:IEEE International Symposium on High Assurance Systems Engineering Proceedings | 2002 | ||
Towards research on software cybernetics Proceeding/Conference:IEEE International Symposium on High-Assurance Systems Engineering | 2002 | ||
Towards the testing of power-aware software applications for wireless sensor networks Journal:Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) | 2007 | ||
Treatment of mantle cell lymphoma in Asia: a consensus paper from the Asian Lymphoma Study Group Journal:Journal of Hematology & Oncology | 2020 | ||
The use of Prolog in the modelling and evaluation of structure charts Journal:Information and Software Technology | 1994 |