Export 68 results:
Search results for biblio_year:2013
Filters: 1 is field_publication_state:17 and 2 is biblio_type:Technical reports and 3 is biblio_year:2009 and Author is Yvan Labiche [Reset Search]
Filters: 1 is field_publication_state:17 and 2 is biblio_type:Technical reports and 3 is biblio_year:2009 and Author is Yvan Labiche [Reset Search]
Assessing, Comparing, and Combining Statechart-Based Testing and Structural Testing: an Experiment In International Symposium on Empirical Software Engineering and Measurement (ESEM)., 2007.
Simula.SE.148.pdf (896.44 KB)

Multi-Objective Genetic Algorithms to Support Class Responsibility Assignment In International Conference on Software Maintenance (ICSM 2007)., 2007.
Simula.SE.146.pdf (260.99 KB)

A UML Profile for Developing Airworthiness-Compliant (RTCA DO-178B) Safety-Critical Software In International Conference on Model Driven Engineering Languages., 2007.
Simula.SE.147.pdf (916.48 KB)

Using Machine Learning to Support Debugging With Tarantula In International Symposium on Software Reliability Engineering (ISSRE)., 2007.
Simula.SE.145.pdf (96.82 KB)

Analysis and Visualization of Behavioral Dependencies Among Distributed Objects Based on UML Models In ACM/IEEE MoDELS, Edited by O. Nierstrasz, J. Whittle, D. Harel and G. Reggio. Springer, 2006.
Automated, Contract-Based User Testing of Commercial-Off-the-Shelf Components In ACM/IEEE International Conference on Software Engineering (ICSE), Edited by K. Anderson. ACM Press, 2006.
Automated Impact Analysis of UML Models." Journal of Systems and Software 79 (2006): 339-352.
"Automatic Evaluation of Intrusion Detection Systems In 22nd Annual Computer Security Applications Conference., 2006.
Guiding the Application of Design Patterns Based on UML Models In IEEE International Conference on Software Maintenance (ICSM). Publisher, 2006.
The Impact of UML Documentation on Software Maintenance: an Experimental Evaluation." IEEE Transactions on Software Engineering 32 (2006): 365-381.
Arisholm.2006.3.pdf (3.58 MB)
"
Lessons Learned From Developing a Dynamic OCL Constraint Enforcement Tool for Java." In Satellite Events at the MoDELS 2005 Conference: MoDELS 2005 International Workshops OCLWS, MoDeVA, MARTES, AOM, MTiP, WiSME, MODAUI, NfC, MDD, WUsCAM, Montego Bay, Jamaica, October 2-7, 2005, Revised Selected Papers, edited by J. Bruel, 10-19. Lecture Notes in Computer Science, Vol. 3844. Springer, 2006.
Dzidek.2006.1.pdf (82.02 KB)
"
A Metamodeling Approach to Pattern Specification and Detection In Proc. of ACM/IEEE International Conference on Model Driven Engineering Languages and Systems (MoDELS), Edited by O. Nierstrasz, J. Whittle, D. Harel and G. Reggio. Springer, 2006.
Towards the Reverse Engineering of UML Sequence Diagrams for Distributed Java Software." IEEE Transactions on Software Engineering 32 (2006).
"Traffic-Aware Stress Testing of Distributed Systems Based on UML Models In ACM/IEEE International Conference on Software Engineering (ICSE), Edited by K. Anderson. ACM Press, 2006.
Using Genetic Algorithms for Early Schedulability Analysis and Stress Testing in Real-Time Systems." Journal of Genetic Programming and Evolvable Machines 7 (2006).
Simula.SE.19.pdf (452.02 KB)
"
Using Mutation Analysis for Assessing and Comparing Testing Coverage Criteria." IEEE Transactions on Software Engineering 32 (2006): 608-624.
"Automated Support for Deriving Test Requirements From UML Statecharts." Software and Systems Modeling 4 (2005): 399-423.
Simula.SE.24.pdf (1.02 MB)
"
Control Flow Analysis of UML 2.0 Sequence Diagrams In European Conference on Model Driven Architecture-Foundations and Applications (ECMDA-FA). Publisher, 2005.
An Experimental Investigation of Formality in UML-Based Development." IEEE Transactions on Software Engineering vol. 31 (2005): p. 833-849.
Simula.SE.22.pdf (711.78 KB)
"
The Impact of UML Documentation on Software Maintenance: an Experimental Evaluation. Simula Research Laboratory, 2005.
Arisholm.2005.2.pdf (477.51 KB)

Improving Statechart Testing Criteria Using Data Flow Information In IEEE Int. Symposium on Software Reliability Engineering (ISSRE). Publisher, 2005.
Instrumenting Contracts With Aspect-Oriented Programming to Increase Observability and Support Debugging In 21st IEEE International Conference on Software Maintenance (ICSM), Budapest, Hungary, September 25-30, Edited by I. C. Society. IEEE, 2005.
Briand.2005.1.pdf (102.42 KB)

A Measurement Framework for Object-Oriented Software Testability." Information and Software Technology 47 (2005).
Simula.SE.21.pdf (445 KB)
"
Is Mutation an Appropriate Tool for Testing Experiments? In IEEE International Conference on Software Engineering (ICSE'05). Publisher, 2005.
Tracing Distributed Systems Executions Using AspectJ In IEEE International Conference on Software Maintenance (ICSM 2005). Publisher, 2005.