leonardo's tests [65 articles] Export

Recent papers added to leonardo's library classified by the tag tests. You can also see everyone's tests.

	Test-Driven Development of Model Transformations [My Copy] Model Driven Engineering Languages and Systems (2009), pp. 748-752. by Pau Giner, Vicente Pelechano posted to tests model_transformation 2009 by leonardo on 2009-10-04 14:52:17 as
	Using formal specifications to support testing [My Copy] ACM Comput. Surv., Vol. 41, No. 2. (2009), pp. 1-76. by Robert M. Hierons, Kirill Bogdanov, Jonathan P. Bowen, et al.Rance Cleaveland, John Derrick, Jeremy Dick, Marian Gheorghe, Mark Harman, Kalpesh Kapoor, Paul Krause, Gerald Lüttgen, Anthony J. H. Simons, Sergiy Vilkomir, Martin R. Woodward, Hussein Zedan posted to 2009 formal_specification tests by leonardo on 2009-02-20 11:14:40 as along with 2 people asilva michaelbanks
	Reusing State Machines for Automatic Test Generation in Product Lines [My Copy] 1st Workshop on Model-based Testing in Practice (MoTiP 2008) (12 June 2008) by Stephan Weißleder, Dehla Sokenou, Bernd-Holger Schlinglo posted to 2008 statecharts tests by leonardo on 2009-02-16 13:07:54 as
	Using simulation to empirically investigate test coverage criteria based on statechart [My Copy] Software Engineering, 2004. ICSE 2004. Proceedings. 26th International Conference on In Software Engineering, 2004. ICSE 2004. Proceedings. 26th International Conference on (2004), pp. 86-95. by L. C. Briand, Y. Labiche, Y. Wang posted to 2004 simulation statecharts tests _to_download by leonardo on 2009-02-03 14:55:43 as
	An Approach to Testing with Embedded Context Using Model Checker [My Copy] Formal Methods and Software Engineering (2008), pp. 66-85. by Lihua Duan, Jessica Chen posted to tests 2008 model_checking _to_download by leonardo on 2008-10-22 14:58:46 as
	Combining Tests and Proofs [My Copy] Verified Software: Theories, Tools, Experiments (2008), pp. 4-5. by Madhu Gopinathan, Aditya Nori, Sriram Rajamani posted to tests proof _to_download 2008 by leonardo on 2008-10-22 12:01:08 as
	On Combining Multi-formalism Knowledge to Select Models for Model Transformation Testing [My Copy] Software Testing, Verification, and Validation, 2008 1st International Conference on In Software Testing, Verification, and Validation, 2008 1st International Conference on (2008), pp. 328-337. by S. Sen, B. Baudry, J. M. Mottu posted to no-tag alloy 2008 model multi-formalism tests transformation by leonardo on 2008-10-10 21:24:48 as
	A Comparative Evaluation of Tests Generated from Different UML Diagrams [My Copy] Software Engineering, Artificial Intelligence, Networking, and Parallel/Distributed Computing, 2008. SNPD '08. Ninth ACIS International Conference on In Software Engineering, Artificial Intelligence, Networking, and Parallel/Distributed Computing, 2008. SNPD '08. Ninth ACIS International Conference on (2008), pp. 867-872. by Supaporn Kansomkeat, Jeff Offutt, Aynur Abdurazik, Andrea Baldini posted to 2008 tests uml by leonardo on 2008-10-10 21:16:11 as along with 1 person jsj8444
	An Environment for Automated Test Case Generation from Statechart-based and Finite State Machine-based Behavioral Models [My Copy] Software Testing Verification and Validation Workshop, 2008. ICSTW '08. IEEE International Conference on In Software Testing Verification and Validation Workshop, 2008. ICSTW '08. IEEE International Conference on (2008), pp. 63-72. by V. Santiago, N. L. Vijaykumar, D. Guimaraes, A. S. Amaral, E. Ferreira posted to 2008 statecharts tests by leonardo on 2008-10-02 14:30:38 as
	On the Adequacy of Statecharts as a Source of Tests for Cryptographic Protocols [My Copy] Computer Software and Applications, 2008. COMPSAC '08. 32nd Annual IEEE International In Computer Software and Applications, 2008. COMPSAC '08. 32nd Annual IEEE International (2008), pp. 937-942. by K. R. Jayaram, Aditya P. Mathur posted to _to_download 2008 cryptography protocol statecharts tests by leonardo on 2008-08-20 15:33:43 as
	"Googling" Test Practices? Web Giant's Culture Encourages Process Improvement [My Copy] Software, IEEE In Software, IEEE, Vol. 25, No. 2. (2008), pp. 92-94. by Greg Goth posted to 2008 google tests by leonardo on 2008-05-28 13:34:22 as along with 2 people NSumner germoglio
	Automatic Generation of Test Specifications for Coverage of System State Transitions [My Copy] Information and Software Technology, Vol. In Press, Accepted Manuscript (2008) by M. Sarma, R. Mall posted to uml transition_coverage tests test_specification_generation system_testing state-based_testing 2008 by leonardo on 2008-05-19 15:28:40 as
	Impact of statechart implementation techniques on the effectiveness of fault detection mechanisms [My Copy] Euromicro Conference, 2004. Proceedings. 30th In Euromicro Conference, 2004. Proceedings. 30th (2004), pp. 136-143. by G. Pinter, I. Majzik posted to 2004 statecharts tests by leonardo on 2008-05-13 02:46:27 as
	A Model Based Testing Technique to Test Web Applications Using Statecharts [My Copy] Information Technology: New Generations, 2008. ITNG 2008. Fifth International Conference on In Information Technology: New Generations, 2008. ITNG 2008. Fifth International Conference on (2008), pp. 183-188. by Hassan Reza, Kirk Ogaard, Amarnath Malge posted to 2008 statecharts tests web by leonardo on 2008-05-13 01:25:32 as
	Test generation and minimization with "basic" statecharts [My Copy] In SAC '08: Proceedings of the 2008 ACM symposium on Applied computing (2008), pp. 718-723. by Fevzi Belli, Axel Hollmann posted to 2008 statecharts tests by leonardo on 2008-04-23 03:59:45 as
	Testing Transition Systems: An Annotated Bibliography [My Copy] Modeling and Verification of Parallel Processes (2001), pp. 187-195. by Ed Brinksma, Jan Tretmans posted to 2001 annotated_bibliography lts tests by leonardo on 2008-03-11 03:04:18 as
	Generating Tests from UML Specifications [My Copy] Â«UMLÂ»â€™99 â€” The Unified Modeling Language (1999), pp. 76-76. by Jeff Offutt, Aynur Abdurazik posted to 1999 tests uml by leonardo on 2008-03-05 02:09:25 as
	Test Case Generation for UML Statecharts [My Copy] Perspectives of System Informatics (2003), pp. 93-109. by Dirk Seifert, Steffen Helke, Thomas Santen posted to 2003 _no_doi statecharts tests uml by leonardo on 2008-03-05 00:45:14 as
	Test synthesis from UML models of distributed software [My Copy] Software Engineering, IEEE Transactions on, Vol. 33, No. 4. (2007), pp. 252-269. by Simon Pickin, Claude Jard, Thierry Jéron, Jean M. Jézéquel, Yves Le Traon posted to 2007 statecharts tests uml by leonardo on 2008-01-03 23:07:59 as
	An empirical evaluation of statistical testing designed from UML state diagrams: the flight guidance system case study [My Copy] Software Reliability Engineering, 2001. ISSRE 2001. Proceedings. 12th International Symposium on In Software Reliability Engineering, 2001. ISSRE 2001. Proceedings. 12th International Symposium on (2001), pp. 254-263. by P. Chevalley, Thevenod P. Fosse posted to 2001 empirical statecharts statistical tests uml by leonardo on 2007-12-18 11:24:49 as
	Test Data Generation from UML State Machine Diagrams using GAs [My Copy] Software Engineering Advances, 2007. ICSEA 2007. International Conference on In Software Engineering Advances, 2007. ICSEA 2007. International Conference on (2007), pp. 47-47. by Chartchai D. Ard, Keshav Dahal, Alamgir Hossain, Taratip Suwannasart posted to 2007 statecharts tests uml by leonardo on 2007-12-18 11:24:26 as
	Testing Software Design Modeled by Finite-State Machines [My Copy] Transactions on Software Engineering In Transactions on Software Engineering, Vol. SE-4, No. 3. (1978), pp. 178-187. by T. S. Chow posted to 1978 fsm seminal tests by leonardo on 2007-12-10 14:31:35 as along with 1 person kirchengast
	New Mutations for Evaluation of Specification and Implementation Levels of Adequacy in Testing of Statecharts Models [My Copy] Testing: Academic and Industrial Conference Practice and Research Techniques - MUTATION, 2007. TAICPART-MUTATION 2007 In Testing: Academic and Industrial Conference Practice and Research Techniques - MUTATION, 2007. TAICPART-MUTATION 2007 (2007), pp. 151-160. by Mark Trakhtenbrot posted to 2007 mutations statecharts tests by leonardo on 2007-12-05 23:08:03 as
	Modeling and Testing Agent Systems Based on Statecharts [My Copy] Applying Formal Methods: Testing, Performance, and M/E-Commerce (2004), pp. 308-321. by Heui S. Seo, Tadashi Araragi, Yong R. Kwon posted to 2004 agents _no_doi statecharts _to_download_springer tests by leonardo on 2007-12-02 21:09:43 as
	Testing Software Requirements with Z and Statecharts Applied to an Embedded Control System [My Copy] Software Quality Journal, Vol. 12, No. 3. (2004), pp. 231-264. by Hye Y. Kim, Frederick T. Sheldon posted to 2004 embedded_system requirements statecharts z tests by leonardo on 2007-12-02 20:52:32 as
	Qualifying input test data for model transformations [My Copy] Software and Systems Modeling, Vol. 8, No. 2. (2 April 2009), pp. 185-203. by Franck Fleurey, Benoit Baudry, Pierre A. Muller, Yves Traon posted to 2009 metamodelling model-based_testing model_transformation tests by leonardo on 2007-11-30 21:10:42 as along with 1 person francoisl
	Towards an automated test generation for the verification of model transformations [My Copy] In SAC '07: Proceedings of the 2007 ACM symposium on Applied computing (2007), pp. 998-1005. by Maher Lamari posted to verification tests model_transformation mda 2007 by leonardo on 2007-11-27 13:19:57 as along with 3 people dwei98 adenilso bb
	Generating Tests from EFSM Models Using Guided Model Checking and Iterated Search Refinement [My Copy] Formal Approaches to Software Testing and Runtime Verification (2006), pp. 85-99. by Juhan P. Ernits, Andres Kull, Kullo Raiend, Jüri Vain posted to 2006 model_checking refinement statecharts _to_download_springer tests by leonardo on 2007-11-26 12:18:23 as
	Holistic testing with basic statecharts [My Copy] In Software Engineering (Workshops), Vol. 106 (2007), pp. 91-100. by Fevzi Belli, Axel Hollmann edited by Wolf G. Bleek, Henning Schwentner, Heinz Züllighoven, Wolf G. Bleek, Henning Schwentner, Heinz Züllighoven posted to 2007 statecharts _to_download tests by leonardo on 2007-11-25 19:45:52 as
	Refinement in Finite State Machine Testing [My Copy] Fundam. Inform., Vol. 64, No. 1-4. (2005), pp. 191-203. by Florentin Ipate, Tudor Balanescu posted to 2005 fsm refinement _to_download tests by leonardo on 2007-11-23 19:17:32 as
	Testing for Refinement in CSP [My Copy] Formal Methods and Software Engineering (2007), pp. 151-170. by Ana Cavalcanti, Marie C. Gaudel posted to 2007 csp refinement tests by leonardo on 2007-11-20 17:15:04 as along with 1 person mishra_satish
	Generating Instance Models from Meta Models [My Copy] Formal Methods for Open Object-Based Distributed Systems (2006), pp. 156-170. by Karsten Ehrig, Jochen M. Küster, Gabriele Taentzer, Jessica Winkelmann posted to 2006 metamodel model_transformation tests by leonardo on 2007-10-26 01:26:03 as
	Model checking-based testing of Web applications [My Copy] Wuhan University Journal of Natural Sciences, Vol. 12, No. 5. (2007), pp. 922-926. by Hongwei Zeng, Huaikou Miao posted to 2007 model_checking web_applications tests by leonardo on 2007-10-10 14:49:17 as
	A test sequence selection method for statecharts [My Copy] Software Testing, Verification and Reliability, Vol. 10, No. 4. (2000), pp. 203-227. by Hyoung S. Hong, Young G. Kim, Sung D. Cha, Doo H. Bae, Hasan Ural posted to 2001 statecharts tests by leonardo on 2007-10-04 14:08:52 as
	A Formal Testing Framework for UML Statecharts [My Copy] Software Engineering, Artificial Intelligence, Networking, and Parallel/Distributed Computing, 2007. SNPD 2007. Eighth ACIS International Conference on In Software Engineering, Artificial Intelligence, Networking, and Parallel/Distributed Computing, 2007. SNPD 2007. Eighth ACIS International Conference on, Vol. 3 (2007), pp. 882-887. by Xuede Zhan posted to 2007 free statecharts tests uml z by leonardo on 2007-09-03 01:41:11 as
	Automated Test Set Generation for Statecharts [My Copy] Applied Formal Methods â€” FM-Trends 98 (1999), pp. 107-121. by K. Bogdanov, M. Holcombe, H. Singh posted to 1999 statecharts tests by leonardo on 2007-07-25 13:16:41 as
	A state-based approach to integration testing based on UML models [My Copy] Information and Software Technology, Vol. 49, No. 11-12. (November 2007), pp. 1087-1106. by Shaukat Ali, Lionel C. Briand, Muhammad J. Rehman, Hajra Asghar, Muhammad Z. Iqbal, Aamer Nadeem posted to 2007 statecharts tests uml by leonardo on 2007-07-24 14:23:50 as along with 1 person newdawn
	Model comparison: a foundation for model composition and model transformation testing [My Copy] In GaMMa '06: Proceedings of the 2006 international workshop on Global integrated model management (2006), pp. 13-20. by Dimitrios S. Kolovos, Richard F. Paige, Fiona A. C. Polack posted to 2006 mdd model_comparison model_composition model_transformation tests by leonardo on 2007-05-07 18:47:21 as along with 2 people sergiolopez shu
	A theory of regression testing for behaviourally compatible object types [My Copy] Software Testing, Verification and Reliability, Vol. 16, No. 3. (2006), pp. 133-156. by Anthony J. H. Simons posted to no-tag 2006 inheritance refinement statecharts tests by leonardo on 2007-04-10 15:53:44 as
	A Practical Approach for Automated Test Case Generation using Statecharts [My Copy] Computer Software and Applications Conference, 2006. COMPSAC '06. 30th Annual International, Vol. 2 (2006), pp. 183-188. by V. Santiago, A. S. M. Amaral, N. L. Vijaykumar, Maria M. Francisco, E. Martins, O. C. Lopes posted to 2006 statecharts tests by leonardo on 2007-04-02 13:47:23 as
	Generating unit test sequences for aspect-oriented programs: towards a formal approach using UML state diagrams [My Copy] Information and Communications Technology, 2005. Enabling Technologies for the New Knowledge Society: ITI 3rd International Conference on (2005), pp. 237-253. by Mourad Badri, L. Badri, Bourque M. Fortin posted to 2005 aspects statecharts tests uml by leonardo on 2007-03-22 02:44:16 as along with 1 person japarejo
	Model-Based Testing of Reactive Systems: Advanced Lectures (Lecture Notes in Computer Science) [My Copy] (22 August 2005) by Manfred Broy, Bengt Jonsson, Joost P. Katoen posted to 2005 _book nopdf reactive_systems tests _to_download_springer by leonardo on 2007-03-19 12:35:41 as along with 2 people SArora darina
	Testing of Finite State Machines [My Copy] : Model-Based Testing of Reactive Systems (2005), pp. 1-3. by Manfred Broy, Bengt Jonsson, Joost P. Katoen, Martin Leucker, Alexander Pretschner posted to 2005 fsm tests by leonardo on 2007-03-19 12:16:46 as
	Model checking of statecharts using automatic white box test generation [My Copy] Circuits and Systems, 2005. 48th Midwest Symposium on In Circuits and Systems, 2005. 48th Midwest Symposium on (2005), pp. 327-332. by Doron Drusinsky posted to 2005 model_checking statecharts tests by leonardo on 2007-03-17 13:33:31 as
	Statechart testing method for aircraft control systems [My Copy] Software Testing, Verification and Reliability, Vol. 11, No. 1. (2001), pp. 39-54. by K. Bogdanov, M. Holcombe posted to 2001 aircraft statecharts tests by leonardo on 2006-10-26 18:01:13 as
	When are observable states necessary? [My Copy] Systems Engineering, Vol. 9, No. 3. (2006), pp. 228-240. by Rick Botta, Zach Bahill, Terry Bahill posted to 2006 reuse statecharts tests by leonardo on 2006-10-09 18:16:03 as
	Assessing and improving state-based class testing: a series of experiments [My Copy] Software Engineering, IEEE Transactions on, Vol. 30, No. 11. (2004), pp. 770-783. by Lionel C. Briand, M. Di Penta, Yvan Labiche posted to 2004 object statecharts tests by leonardo on 2006-10-09 15:21:13 as along with 1 person klinsz
	Improving statechart testing criteria using data flow information [My Copy] Software Reliability Engineering, 2005. ISSRE 2005. 16th IEEE International Symposium on (2005), 10 pp.. by Lionel C. Briand, Yvan Labiche, Q. Lin posted to 2005 statecharts tests uml by leonardo on 2006-10-09 15:12:17 as
	Testing concurrency and communication in distributed objects [My Copy] High Performance Computing, 1998. HIPC '98. 5th International Conference On (1998), pp. 422-428. by A. Bader, A. S. M. Sajeev, S. Ramakrishnan posted to 1998 concurrent_systems statecharts tests by leonardo on 2006-10-09 13:39:07 as
	Using extended general statecharts to generate test cases for overloaded/polymorphic object-oriented programs: a case study [My Copy] Technology of Object-Oriented Languages, 1997. TOOLS 24. Proceedings (1997), pp. 96-103. by Bor Y. Tsai, S. Stobart, N. Parrington posted to 1997 refinement semantics statecharts tests by leonardo on 2006-10-08 16:30:50 as

Note: You may cite this page as: http://www.citeulike.org/user/leonardo/tag/tests

Result page: 1 2 Next

statecharts	673
2008	409
uml	376
_to_download	322
2007	300
2006	280
refinement	272
semantics	249
2005	188
2004	161
_to_download_springer	151
model_checking	148
2009	137
_marcia	120
2002	108
2003	107
csp	94
_no_doi	94
model_transformation	93
graph_transformation	83
2001	80
2000	71
refactoring	69
tests	65
alloy	56
1999	54
1998	52
_book	51
requirements	50
verification	45
software_architecture	41
aspects	37
1997	35
z	35
agents	33
formal	29
_folder_2	28
1995	27
1996	27
reactive_systems	27
ocl	25
tool	24
transformation	24
writing	24
b	23
umlrt	23
1994	22
mdd	22
_to_review	22
operational	21
petrinets	21
bibtex-import	20
metamodel	20
uml20	20
concurrent_systems	19
mda	19
survey	19
sos	18
equivalence	16
metamodelling	16
1993	15
nopdf	15
object	14
proof	14
statemate	14
1992	13
asm	13
communication	12
inheritance	12
qvt	12
_to_appear	12
circus	11
composition	11
denotational	11
_folder_3	11
for:marcia	11
_off	11
patterns	11
years_later	11
1988	10
jcsp	10
thesis	10
compaison	9
_folder_1	9
formal_methods	9
hierarchy	9
protocol	9
teaching	9
_to_print	9
classic	8
comparison	8
concurrency	8
design_patterns	8
fdr	8
fsm	8
java	8
_missing	8
mu-charts	8
pvs	8
socialnetwork	8
taxonomy	8
1987	7
1990	7
mde	7
model	7
process_algebra	7
program_visualization	7
realtime	7
syntax	7
visualization	7
visual_languages	7
1989	6
by_example	6
event-b	6
incremental	6
_no_pdf	6
slicing	6
specification	6
analysis	5
formal_specification	5
laws	5
lts	5
model_merging	5
mof	5
tools	5
triple_graph_grammars	5
validation	5
1991	4
concrete_syntax	4
consistency	4
idioms	4
maude	4
mechanized	4
_mise2009	4
model_composition	4
modelling	4
mondex	4
oop	4
reactive_process	4
refinement_calculus	4
rhapsody	4
semantic_variation	4
seminal	4
simulation	4
theorem_prover	4
_to_download_wiley	4
tutorial	4
utp	4
agg	3
algebraic	3
algebraic_specification	3
axiomatic	3
behavior	3
calculus	3
checking	3
chinese	3
code_generation	3
completeness	3
component	3
cre	3
distributed	3
eclipse	3
empirical	3
exception	3
framework	3
fujaba	3
functional	3
goals	3
graph	3
graphical	3
history	3
hoare	3
istar	3
language	3
mapping	3
metrics	3
msc	3
objectz	3
product_lines	3
program_transformation	3
reuse	3
roadmap	3
rules	3
safety	3
software_engineering	3
spin	3
tool_integration	3
traces	3
translation	3
web	3
xml	3
1981	2
1982	2
1985	2
acme	2
appendix	2
assertion	2
automation	2
behavior_inheritance	2
behaviour_preservation	2
best_practice	2
bibliography	2
biderectional	2
bounded_verification	2
casestudy	2
casl	2
ccs	2
checker	2
citation	2
citeulike	2
concurrent	2
conformance	2
constraint	2
constraints	2
corba	2
correctness	2
current_topics	2
distributed_systems	2
domain_modeling	2
embedded_system	2
emf	2
experiment	2
feature	2
finite_model	2
history_of	2
hypertext	2
impact-factor	2
inconsistency	2
jml	2
lessons_learned	2
lightweight_formal_method	2
logics	2
manifesto	2
methods	2
mobile	2
model_comparison	2
model_inconsistencies	2
model_matching	2
model_refinement	2
msos	2
objects	2
object-z	2
oo	2
open_questions	2
open-source	2
overview	2
performance	2
physics	2
pi-calculus	2
pose	2
programming	2
reasoning	2
recursion	2
research	2
review	2
software_evolution	2
stepwise	2
subtyping	2
symbolic	2
synchronization	2
temporal_logic	2
_to_download_acm	2
_to_download_elsevier	2
_to_download_ieee	2
traceability	2
understandability	2
variability	2
verified_software	2
verilog	2
viewcharts	2
web_applications	2
1769	1
1967	1
1969	1
1971	1
1972	1
1973	1
1975	1
1976	1
1978	1
1979	1
1984	1
1986	1
2010	1
aadl	1
abstract	1
abstraction	1
accidental_complexity	1
action_semantics	1
action_systems	1
ada	1
adaptive_logics	1
adl	1
agile	1
aircraft	1
algebra	1
alloy_analyzer	1
animation	1
annotated_bibliography	1
annotations	1
applicability	1
application_conditions	1
association	1
atl	1
automata_based_programming	1
automated_deduction	1
automotive_systems	1
avionics	1
behavioral_modeling	1
bg	1
biology	1
bisimulation	1
block_diagrams	1
bpel	1
business_rules	1
challenges	1
class	1
classroom	1
clustering	1
codesign	1
coding	1
cognition	1
col	1
compatibility	1
computability	1
_conference	1
confluence	1
connectors	1
constraint_satisfaction	1
constraint_satisfaction_problem	1
constraint_solver	1
constructionist	1
continuous	1
contracts	1
control_conditions	1
coordination	1
cryptography	1
cspz	1
data_abstraction	1
database	1
data_independence	1
data_refinement	1
datatypes	1
deadlock	1
debugging	1
decidable	1
decompositions	1
denotational_semantics	1
dependable_software	1
dependable_systems	1
derivation_of_precondition	1
design_decisions	1
diagram	1
diagram_interchange	1
diagrams	1
dpo	1
dynalloy	1
early	1
editor	1
efsm	1
eha	1
eiffel	1
end-user	1
epsilion	1
equational_calculus	1
essays	1
esterel	1
euler_diagram	1
_event_mise	1
event_processor	1
events	1
evolution	1
evoting	1
execution	1
feature_models	1
file-import-08-11-22	1
file-import-09-09-11	1
finite_state_machines	1
first-order	1
folksonomy	1
formal_derivation	1
formal_verification	1
frame_assertion	1
frame_conditions	1
free	1
fundamental_technique	1
fuzzy	1
gals	1
games	1
gap	1
google	1
grammars	1
grand_challenge	1
graph_grammar	1
grouping	1
hardcopy	1
health_care	1
heuristics	1
hol	1
imsos	1
inconsistencies	1
industry	1
inspection	1
instance_model	1
internet_applications	1
interview	1
istate	1
java5	1
jdi	1
kaos	1
kleene	1
kleene_algebras	1
large_scale	1
layout	1
library	1
literate_programming	1
lotos	1
lsc	1
lyee_calculus	1
macthing	1
maraton	1
mathematics	1
mechanical_verification	1
mechatronic_uml	1
merging	1
model-based	1
model_based_design	1
model-based_testing	1
modelcheking	1
model_extension	1
modeling_languages	1
modeling_paradigm	1
model_integration	1
model_quality	1
model_tranformation	1
model_typing	1
model_verification	1
modularization	1
motivations	1
_msc	1
multi-formalism	1
mutations	1
nac	1
negotiation	1
network	1
novel_approach	1
occam	1
omt	1
_on	1
ontology	1
ood	1
operational_semantics	1
origins	1
orthogonal_regions	1
owl	1
packaging_knowhow	1
_paper_2	1
paradigms	1
pascal	1
pattern	1
pattern_matching	1
_pdf	1
pim	1
practice	1
pragmatics	1
precise	1
presentation	1
pre-uml	1
priority	1
problems	1
processes	1
process_modelling	1
programming_language_design	1
promises	1
proof_assistant	1
proof_obligations	1
provers	1
psm	1
ptifalls	1
publishing	1
pullback_grammar	1
qos	1
quality	1
quantifier_elimination	1
reduction	1
re-engineering	1
reentrant	1
reference_model	1
refinement_relations	1
relational	1
reo	1
requirement	1
resources	1
rest	1
retractions	1
retrospective	1
reverse	1
reverse_engineering	1

leonardo's tests [65 articles] Export

leonardo's tags