Virtual University

CS620 221 What Does 'Optimization via (V-U)

CS620 236 Definitions and Software Reliability (V-U)

CS620 238 Imperfect Debugging Modeling (V-U)

CS620 222 Difficulties in Optimization (V-U)

CS620 239 Imperfect Debugging Model with Perfect correction rate (V-U)

CS620 223 Using Robust Heuristics (V-U)

CS620 240 Imperfect Debugging with Introduced faults (V-U)

CS620 224 Random Search: An Illustration (V-U)

CS620 225 Introduction to performance evaluation (V-U)

CS620 241 Software Availability Modeling (V-U)

CS620 242 Model Description (V-U)

CS620 244 Application of Software Reliability Assesment (V-U)

CS620 243 Software Availability Measures (V-U)

CS620 245 Optimal Software Release Problem (V-U)

CS620 246 Statistical Software Testing-Progress control (V-U)

CS620 247 Optimal Testing-Effort Allocation (V-U)

CS620 248 Introduction to formal modeling (V-U)

CS620 249 Basic notation-?? (V-U)

CS620 250 Basic notation-II (V-U)

CS620 251 Classical Petri Nets-I (V-U)

CS620 252 Classical Petri Nets-???? (V-U)

CS620 253 Timed Petri nets I (V-U)

CS620 254 Timed Petri nets II (V-U)

CS620 255 Priority-based Petri nets (V-U)

CS620 256 Colored Petri nets (V-U)