[CSUSB]>> [CNS]>> [CSE]>> [R J Botting]>> biba.php

Bibliographic Item (1.0)

McCamantErnst03

  1. Stephen McCamant & Michael D Ernst
  2. Predicting Problems Caused by component upgrades
  3. FSE-11 & ESEC 9 & ACM SIGSOFT Software Engineering Notes V28n5(Sep 2003)pp287-296
  4. =DEMO MODULE TESTING LOGIC CONTRACT V&V EVOLUTION Daikon Simplify PERL
  5. Before putting an upgraded component into an application, use the application+old component to generate a mathematical contract for the old component, then derive a similar contract for the new one. Only safe if the new contact is stronger than the old one.
  6. contracts::=$ Net{ pre, post: @States}.
  7. For contracts c1, c2, c1 is_stronger_than c2::= (c1.pre ==> c2.pre) and ((c1.pre&c2.post)==> c1.post).
  8. Worked well on to PERL module upgrades!
  9. Nice example of upgrading swap: will work in a bubble sort, but not in a particular selection sort.

Search for bibliographic items containing a matching string.


(Search uses POSIX regular expressions and ignores case)

Search for a specific bibliographic item by name.



To see the complete bibliography (1Mb+) select:[Bibliography]