Challenges in automotive software engineering
Proceedings of the 28th international conference on Software engineering
Software Testing Research: Achievements, Challenges, Dreams
FOSE '07 2007 Future of Software Engineering
Automatic generation of model based tests for a class of security properties
Proceedings of the 3rd international workshop on Advances in model-based testing
Combining test case generation for component and integration testing
Proceedings of the 3rd international workshop on Advances in model-based testing
Modelling and test generation using SAL for interoperability testing in consumer electronics
Proceedings of the second workshop on Automated formal methods
Test generation and minimization with "basic" statecharts
Proceedings of the 2008 ACM symposium on Applied computing
The Role of Model-Based Testing
Verified Software: Theories, Tools, Experiments
Applying Model-Based Testing to HTML Rendering Engines --- A Case Study
TestCom '08 / FATES '08 Proceedings of the 20th IFIP TC 6/WG 6.1 international conference on Testing of Software and Communicating Systems: 8th International Workshop
Towards preserving model coverage and structural code coverage
EURASIP Journal on Embedded Systems - Challenges on complexity and connectivity in embedded systems
MODELS '09 Proceedings of the 12th International Conference on Model Driven Engineering Languages and Systems
Model-Based Testing of Web Applications Using NModel
TESTCOM '09/FATES '09 Proceedings of the 21st IFIP WG 6.1 International Conference on Testing of Software and Communication Systems and 9th International FATES Workshop
Quality of test specification by application of patterns
Proceedings of the 15th Conference on Pattern Languages of Programs
Programming assistance based on contracts and modular verification in the automation domain
Proceedings of the 2010 ACM Symposium on Applied Computing
Model-based test selection for infinite-state reactive systems
FMCO'06 Proceedings of the 5th international conference on Formal methods for components and objects
FMCO'06 Proceedings of the 5th international conference on Formal methods for components and objects
Regular inference for state machines using domains with equality tests
FASE'08/ETAPS'08 Proceedings of the Theory and practice of software, 11th international conference on Fundamental approaches to software engineering
Formal methods and hybrid real-time systems
Proceedings of the 2010 conference on New Trends in Software Methodologies, Tools and Techniques: Proceedings of the 9th SoMeT_10
Timed test generation based on timed temporal logic
ICAI'10 Proceedings of the 11th WSEAS international conference on Automation & information
A pragmatic testing approach for wireless sensor networks
Proceedings of the 6th ACM workshop on QoS and security for wireless and mobile networks
Generating integration test cases automatically
Proceedings of the eighteenth ACM SIGSOFT international symposium on Foundations of software engineering
Syntactic abstraction of B models to generate tests
TAP'10 Proceedings of the 4th international conference on Tests and proofs
Model-based analysis and development of dependable systems
MBEERTS'07 Proceedings of the 2007 International Dagstuhl conference on Model-based engineering of embedded real-time systems
Generating models of infinite-state communication protocols using regular inference with abstraction
ICTSS'10 Proceedings of the 22nd IFIP WG 6.1 international conference on Testing software and systems
Inferring compact models of communication protocol entities
ISoLA'10 Proceedings of the 4th international conference on Leveraging applications of formal methods, verification, and validation - Volume Part I
From ZULU to RERS: lessons learned in the ZULU challenge
ISoLA'10 Proceedings of the 4th international conference on Leveraging applications of formal methods, verification, and validation - Volume Part I
Rigorous model-based design & verification flow for in-vehicle software
Proceedings of the 48th Design Automation Conference
SMA: the smyle modeling approach
CEE-SET'08 Proceedings of the Third IFIP TC 2 Central and East European conference on Software engineering techniques
Pumping visibly pushdown languages
AIASABEBI'11 Proceedings of the 11th WSEAS international conference on Applied informatics and communications, and Proceedings of the 4th WSEAS International conference on Biomedical electronics and biomedical informatics, and Proceedings of the international conference on Computational engineering in systems applications
Symbolic Message Sequence Charts
ACM Transactions on Software Engineering and Methodology (TOSEM)
Monitoring of real-time properties
FSTTCS'06 Proceedings of the 26th international conference on Foundations of Software Technology and Theoretical Computer Science
A symbolic framework for model-based testing
FATES'06/RV'06 Proceedings of the First combined international conference on Formal Approaches to Software Testing and Runtime Verification
Regular inference for state machines with parameters
FASE'06 Proceedings of the 9th international conference on Fundamental Approaches to Software Engineering
Audition of web services for testing conformance to open specified protocols
Proceedings of the 2004 international conference on Architecting Systems with Trustworthy Components
Inferring canonical register automata
VMCAI'12 Proceedings of the 13th international conference on Verification, Model Checking, and Abstract Interpretation
Towards model-based testing of electronic funds transfer systems
FSEN'11 Proceedings of the 4th IPM international conference on Fundamentals of Software Engineering
RV'11 Proceedings of the Second international conference on Runtime verification
Application of hierarchical classifier to minimal synchronizing word problem
ICAISC'12 Proceedings of the 11th international conference on Artificial Intelligence and Soft Computing - Volume Part I
A taxonomy of model-based testing approaches
Software Testing, Verification & Reliability
Rigorous design of robot software: A formal component-based approach
Robotics and Autonomous Systems
The RERS grey-box challenge 2012: analysis of event-condition-action systems
ISoLA'12 Proceedings of the 5th international conference on Leveraging Applications of Formal Methods, Verification and Validation: technologies for mastering change - Volume Part I
B model slicing and predicate abstraction to generate tests
Software Quality Control
Adoption of Model-Based Testing and Abstract Interpretation by a Railway Signalling Manufacturer
International Journal of Embedded and Real-Time Communication Systems
Runtime verification for multicore SoC with high-quality trace data
ACM Transactions on Design Automation of Electronic Systems (TODAES)
Journal of Systems and Software
Evaluating test suite characteristics, cost, and effectiveness of FSM-based testing methods
Information and Software Technology
Software model synthesis using satisfiability solvers
Empirical Software Engineering
System level formal verification via model checking driven simulation
CAV'13 Proceedings of the 25th international conference on Computer Aided Verification
Hi-index | 0.00 |