Wednesday, 11/18/2003

10:00 - 12:00 Session 7C Student Papers

 

    Improving reliability and adaptability via program steering, Lee Lin and Michael D. Ernst

    A software reliability estimation framework for extreme programming, Nachiappan Nagappan and Laurie Williams

    Formal semantics for reliability modeling languages: a case study on BDMPs, Robert Painter

    Building reliable compilers with a formal methods framework, Nathaniel Gray, Cristian Tapus, Aleksey Nogin and Jason Hickey

    Dynamic stimulation tool for improved performance modeling and resource provisioning of enterprise servers, Kesari Mishra and Kenny Gross

    Considering use case dependencies in architectural-level risk analysis based on UML specifications, Walid Abdelmoez, Ahmed Hassan, Ajith Guedem, Katerina Goseva-Popstojanova and Hany Ammar

    A systematic procedure for testing UML designs, Trung Thanh Dinh Trong

    Fault detection effectiveness of UML design model test adequacy criteri,a Nilesh Kawane

    Successful software review meetings, Yuk Kuen Wong

    A domain model and architecture for software systems interoperability testing, Maxwell Chi

    Reasoning about the value of software dependability: the iDAVE model, LiGuo Huang and Barry Boehm

    Developing a practical software project simulator based on system dynamics model, Xiaoning Li, Sousuke Amasaki, Daisuke Shimoda, Osamu Mizuno, And Tohru Kikuno

    Apply software failure mode and effect analysis to product families, Dingding Lu