External Links

    Journal: IEE Proceedings - Software

    Volume 150, Issue 1

    3 -- 11Allan L. White. Comments on the probability model for the modified condition/decision coverage method of testing software
    13 -- 24Nicolas Navet, Jorn Migge. Fine tuning the scheduling of tasks through a genetic algorithm: application to Posix1003.1b compliant systems
    25 -- 38Artur S. d Avila Garcez, Alessandra Russo, Bashar Nuseibeh, Jeff Kramer. Combining abductive reasoning and inductive learning to evolve requirements specifications
    39 -- 47R. P. Self, Martin Fleury, Andy C. Downton. Design methodology for construction of asynchronous pipelines with Handel-C
    runs on