A blue social bookmark and publication sharing system.
bookmarks
(2)
publications
Christel Baier and Joost-Pieter Katoen The MIT Press, (
2008)
to logic propositional model-checker checking Markov-Chains LTL model formal CTL by ist_spl on Jul 28, 2008, 10:35 AM- to model symbolic LTL temporal CTL checking model-checker by ist_spl on Jul 21, 2008, 12:42 PM
Rik Eshuis ACM Trans. Softw. Eng. Methodol.15(1):1--38(
2006)
to UML symbolic model diagrams checking NuSMV activity by ist_spl and 1 other person on Jun 2, 2008, 11:26 AMAjitha Rajan and Michael W. Whalen and Mats P.E. Heimdahl ICSE '08: Proceedings of the 30th international conference on Software engineering, page161--170. New York, NY, USA, ACM, (
2008)
MR: nuetzlich fuer IST-SPL nur wegen der Referenzen auf eingesetzte Techniken zur ' Test Case Generation using model checkers '.
.
to test generation automated model case checking by ist_spl and 1 other person on May 21, 2008, 11:42 AMTomoji Kishi and Natsuko Noda Proceedings of the International Workshop on Software Product Line Testing (SPLiT 2004), page19--26. Boston, MA, August2004. ST: Das zu testende System und die mit dem System in Interaktion stehende Umgebung werden als Zustandsautomat modelliert. Testdaten ergeben sich aus den Tr...ST: Das zu testende System und die mit dem System in Interaktion stehende Umgebung werden als Zustandsautomat modelliert. Testdaten ergeben sich aus den Transitionen. Es werden Modelchecking Techniken angewendet um Invarianten zu prüfen.
.
to checking test statecharts techniques scenarios model by ist_spl on May 14, 2008, 10:54 AMThian S. Kheoh and A. Ian McLeod Computational Statistics \& Data Analysis14(1):99--106Jun1992. to checking Diagnostic by smicha on Apr 23, 2008, 2:55 PM- to Bayesian model checking by smicha and 1 other person on Apr 23, 2008, 2:55 PM
Wiebe van der Hoek and Michael Wooldridge Research in Economics57(3):235--265Sep2003. to checking Model by smicha on Apr 22, 2008, 3:17 PMPierre Duchesne Economics Letters83(2):193--197May2004. to Diagnostic checking by smicha on Apr 21, 2008, 10:09 PMStephan Merz MOVEP, page3--38. (
2000)
to model checking impresso by marciomr and 1 other person on Feb 20, 2008, 3:42 AM
