28th Annual NASA Goddard Software Engineering Workshop

28th Annual NASA Goddard Software Engineering Workshop

4.11 - 1251 ratings - Source

The workshop looks at the advancement of software engineering principles and techniques and explores ideas on best practice and future directions. SEW 2003's twenty-five papers report on past experiences and describes new and emerging results and techniques. In addition, it focuses on NASA's mission and goals, and how techniques might be applied, or adapted for use, at NASA, or how NASA's techniques might be used or adapted for more generic use.Execution time (in seconds) to generate MC/DC test sequences Model | FGS-00 || FGS-01 || FGS-02 || FGS-03 || FGS-04 ... The ability to generate hundreds of complete test sequences automatically is a marked improvement over manual test construction. ... Using model checking to generate tests from requirements specifications. ... M. P. Heimdahl, S. Rayadurgam, D. George, W. Visser, and J. Gao.

Title:28th Annual NASA Goddard Software Engineering Workshop
Publisher:IEEE - 2004-01

You must register with us as either a Registered User before you can Download this Book. You'll be greeted by a simple sign-up page.

Once you have finished the sign-up process, you will be redirected to your download Book page.

How it works:
  • 1. Register a free 1 month Trial Account.
  • 2. Download as many books as you like (Personal use)
  • 3. Cancel the membership at any time if not satisfied.

Click button below to register and download Ebook
Privacy Policy | Contact | DMCA