85 | -- | 96 | Mutum Zico Meetei, Anita Goel, Siri Krishan Wasan. Observability using aspect-oriented programming for OO software testing |
97 | -- | 113 | Bernhard Beckert, Christoph Gladisch, Shmuel S. Tyszberowicz, Amiram Yehudai. KeYGenU: combining verification-based and capture and replay techniques for regression unit testing |
114 | -- | 125 | Ossi Taipale, Jussi Kasurinen, Katja Karhu, Kari Smolander. Trade-off between automated and manual software testing |
126 | -- | 134 | Renée C. Bryce, Sreedevi Sampath, Jan B. Pedersen, Schuyler Manchester. Test suite prioritization by cost-based combinatorial interaction coverage |
135 | -- | 143 | Qichang Chen, Liqiang Wang, Zijiang Yang. HEAT: a combined approach for thread escape analysis |
144 | -- | 154 | David Faitelson, Shmuel S. Tyszberowicz. Data refinement based testing |
155 | -- | 162 | Shinji Inoue, Shigeru Yamada. Software reliability measurement with effect of change-point: modeling and application |
163 | -- | 168 | Jan Lundberg, Alf Bohlin, Malin Syk. Capacity test of ultrasonic equipment used for crack detection in railway application |
169 | -- | 182 | Jan Lundberg, Alf Bohlin, Malin Syk. Blindfold tests on manganese crossing in railway application |
183 | -- | 192 | Anil Rana, Ajit Kumar Verma, Ajit Srividya. Use of petrinets for solution of a stern gland optimal inspection interval problem |