|
|
Venues (Conferences, Journals, ...)
|
|
GrowBag graphs for keyword ? (Num. hits/coverage)
Group by:
The graphs summarize 1454 occurrences of 786 keywords
|
|
|
Results
Found 2040 publication records. Showing 2040 according to the selection in the facets
Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
22 | Lihua Duan, Jessica Chen |
Alternative B-Sequences. ![Search on Bibsonomy](Pics/bibsonomy.png) |
QSIC ![In: Seventh International Conference on Quality Software (QSIC 2007), 11-12 October 2007, Portland, Oregon, USA, pp. 127-136, 2007, IEEE Computer Society. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
finite state machine, conformance testing, distinguishing sequence, checking sequence |
22 | Ana R. Cavalli, Stéphane Maag, Wissam Mallouli, Mikael Marche, Yves-Marie Quemener |
Application of Two Test Generation Tools to an Industrial Case Study. ![Search on Bibsonomy](Pics/bibsonomy.png) |
TestCom ![In: Testing of Communicating Systems, 18th IFIP TC6/WG6.1 International Conference, TestCom 2006, New York, NY, USA, May 16-18, 2006, Proceedings, pp. 134-148, 2006, Springer, 3-540-34184-6. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
telephonic service, service testing, test generation tools, formal specification, conformance testing, Case study, automatic test generation, extended finite state machine |
22 | Christophe Gaston, Pascale Le Gall, Nicolas Rapin, Assia Touil |
Symbolic Execution Techniques for Test Purpose Definition. ![Search on Bibsonomy](Pics/bibsonomy.png) |
TestCom ![In: Testing of Communicating Systems, 18th IFIP TC6/WG6.1 International Conference, TestCom 2006, New York, NY, USA, May 16-18, 2006, Proceedings, pp. 1-18, 2006, Springer, 3-540-34184-6. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
Input/Output Symbolic Transition Systems, Conformance testing, Symbolic Execution, Coverage Criteria, Test Purposes |
22 | Kai Chen 0009, Fan Jiang 0005, Chuan-dong Huang |
A new method of generating synchronizable test sequences that detect output-shifting faults based on multiple UIO sequences. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SAC ![In: Proceedings of the 2006 ACM Symposium on Applied Computing (SAC), Dijon, France, April 23-27, 2006, pp. 1791-1797, 2006, ACM, 1-59593-108-2. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
output-shifting faults, synchronization problems, distributed system, conformance testing, FSM |
22 | K. N. Gopinath, Pravin Bhagwat, K. Gopinath |
An empirical analysis of heterogeneity in IEEE 802.11 MAC protocol implementations and its implications. ![Search on Bibsonomy](Pics/bibsonomy.png) |
WINTECH ![In: Proceedings of the First ACM Workshop on Wireless Network Testbeds, Experimental Evaluation and Characterization, WINTECH 2006, Los Angeles, California, USA, September 29, 2006, pp. 80-87, 2006, ACM. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
device signature, performance models, IEEE 802.11, MAC, heterogeneity, conformance |
22 | Jessica Chen, Lihua Duan |
Optimal Synchronizable Test Sequence from Test Segments. ![Search on Bibsonomy](Pics/bibsonomy.png) |
QSIC ![In: Sixth International Conference on Quality Software (QSIC 2006), 26-28 October 2006, Beijing, China, pp. 266-273, 2006, IEEE Computer Society, 0-7695-2718-3. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
unique input/output sequence, finite state machine, conformance testing, test sequence, distributed testing |
22 | César Viho |
Test distribution: a solution for complex network system testing. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Int. J. Softw. Tools Technol. Transf. ![In: Int. J. Softw. Tools Technol. Transf. 7(4), pp. 316-325, 2005. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
Test, Protocols, Interoperability, Distribution, Conformance |
22 | M. Ümit Uyar, Yu Wang 0012, Samrat S. Batth, Adriana Wise, Mariusz A. Fecko |
Timing Fault Models for Systems with Multiple Timers. ![Search on Bibsonomy](Pics/bibsonomy.png) |
TestCom ![In: Testing of Communicating Systems, 17th IFIP TC6/WG 6.1 International Conference, TestCom 2005, Montreal, Canada, May 31 - June 2, 2005, Proceedings, pp. 192-208, 2005, Springer, 3-540-26054-4. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
Timer Constraints, Fault Modeling, Timed Automata, Conformance Testing, Multiple Faults |
22 | Emilia Katz, Shmuel Katz |
Verifying Scenario-Based Aspect Specifications. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FM ![In: FM 2005: Formal Methods, International Symposium of Formal Methods Europe, Newcastle, UK, July 18-22, 2005, Proceedings, pp. 432-447, 2005, Springer, 3-540-27882-6. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
convenient executions, model-checking, scenarios, Aspects, conformance |
22 | Hacène Fouchal, Sébastien Gruson, Ludovic Pierre, Cyril Rabat, Antoine Rollet |
Integrated Tool for Testing Timed Systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ISSADS ![In: Advanced Distributed Systems: 5th International School and Symposium, ISSADS 2005, Guadalajara, Mexico, January 24-28, 2005, Revised Selected Papers, pp. 153-166, 2005, Springer, 3-540-28063-4. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
Validation, Timed Automata, Conformance Testing, Automata Theory, Protocol Engineering |
22 | Margus Veanes, Colin Campbell, Wolfram Schulte, Nikolai Tillmann |
Online testing with model programs. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ESEC/SIGSOFT FSE ![In: Proceedings of the 10th European Software Engineering Conference held jointly with 13th ACM SIGSOFT International Symposium on Foundations of Software Engineering, 2005, Lisbon, Portugal, September 5-9, 2005, pp. 273-282, 2005, ACM, 1-59593-014-0. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
conformance testing, runtime verification, interface automata |
22 | Ulle Endriss |
Temporal logics for normative agent communication protocols. ![Search on Bibsonomy](Pics/bibsonomy.png) |
AAMAS ![In: 4th International Joint Conference on Autonomous Agents and Multiagent Systems (AAMAS 2005), July 25-29, 2005, Utrecht, The Netherlands, pp. 1127-1128, 2005, ACM, 1-59593-094-9. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
protocol conformance, model checking |
22 | Ana R. Cavalli, Cyril Grepet, Stéphane Maag, Vincent Tortajada |
A Validation Model for the DSR Protocol. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICDCS Workshops ![In: 24th International Conference on Distributed Computing Systems Workshops (ICDCS 2004 Workshops), 23-24 March 2004, Hachioji, Tokyo, Japan, pp. 768-773, 2004, IEEE Computer Society, 0-7695-2087-1. The full citation details ...](Pics/full.jpeg) |
2004 |
DBLP DOI BibTeX RDF |
routing protocol, conformance testing, SDL, Ad hoc wireless networks, DSR |
22 | Marius Bozga, Jean-Claude Fernandez, Lucian Ghirvu |
Using static analysis to improve automatic test generation. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Int. J. Softw. Tools Technol. Transf. ![In: Int. J. Softw. Tools Technol. Transf. 4(2), pp. 142-152, 2003. The full citation details ...](Pics/full.jpeg) |
2003 |
DBLP DOI BibTeX RDF |
Static analysis, Bisimulation, Conformance testing, Slicing, Asynchronous systems |
22 | Alexandre Petrenko, Nina Yevtushenko 0001, Jiale Huo |
Testing Transition Systems with Input and Output Testers. ![Search on Bibsonomy](Pics/bibsonomy.png) |
TestCom ![In: Testing of Communicating Systems, 15th IFIP International Conference, TestCom 2003, Sophia Antipolis, France, May 26-28, 2003, Proceedings, pp. 129-145, 2003, Springer, 3-540-40123-7. The full citation details ...](Pics/full.jpeg) |
2003 |
DBLP DOI BibTeX RDF |
input/output transition system, test generation, fault model, conformance testing |
22 | Ira Acharya, Hemendra Kumar Singh |
Testing of 3G 1xEV-DV Stack - A Case Study. ![Search on Bibsonomy](Pics/bibsonomy.png) |
TestCom ![In: Testing of Communicating Systems, 15th IFIP International Conference, TestCom 2003, Sophia Antipolis, France, May 26-28, 2003, Proceedings, pp. 20-32, 2003, Springer, 3-540-40123-7. The full citation details ...](Pics/full.jpeg) |
2003 |
DBLP DOI BibTeX RDF |
testing challenges, IUT, 1xEV-DV, EV-DV, DV, reference implementation, 3GPP2, LAC, RLP, L2, L3, packet data channel, PDCHCF, Message Integrity, simulation, Testing, MAC, queues, behavior, task, video conferencing, SDL, formalism, 3G, Signaling, logging, conformance, test automation, formal description techniques, MSC, timers, protocol stack, test scripts, TTCN |
22 | Markus Lepper 0001, Baltasar Trancón y Widemann, Jacob Wieland |
TUB-TCI An Architecture for Dynamic Deployment of Test Components. ![Search on Bibsonomy](Pics/bibsonomy.png) |
TestCom ![In: Testing of Communicating Systems, 15th IFIP International Conference, TestCom 2003, Sophia Antipolis, France, May 26-28, 2003, Proceedings, pp. 279-294, 2003, Springer, 3-540-40123-7. The full citation details ...](Pics/full.jpeg) |
2003 |
DBLP DOI BibTeX RDF |
XML based configuration, Conformance Testing, Dynamic Deployment |
22 | Qiang Guo 0001, Robert M. Hierons, Mark Harman, Karnig Derderian |
Computing Unique Input/Output Sequences Using Genetic Algorithms. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FATES ![In: Formal Approaches to Software Testing, Third International Workshop on Formal Approaches to Testing of Software, FATES 2003, Montreal, Quebec, Canada, October 6th, 2003, pp. 164-177, 2003, Springer, 3-540-20894-1. The full citation details ...](Pics/full.jpeg) |
2003 |
DBLP DOI BibTeX RDF |
UIOs, Genetic Algorithms, Optimisation, Conformance Testing, FSMs |
22 | Ahmed Khoumsi, Thierry Jéron, Hervé Marchand |
Test Cases Generation for Nondeterministic Real-Time Systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FATES ![In: Formal Approaches to Software Testing, Third International Workshop on Formal Approaches to Testing of Software, FATES 2003, Montreal, Quebec, Canada, October 6th, 2003, pp. 131-146, 2003, Springer, 3-540-20894-1. The full citation details ...](Pics/full.jpeg) |
2003 |
DBLP DOI BibTeX RDF |
Conformance test cases generation, Determinizable Timed Automata (DTA), Set-Exp-Automata (SEA), Real-time systems, Test architecture |
22 | Manuel Núñez 0001, Ismael Rodríguez |
Towards Testing Stochastic Timed Systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FORTE ![In: Formal Techniques for Networked and Distributed Systems - FORTE 2003, 23rd IFIP WG 6.1 International Conference, Berlin, Germany, September 29 - October 2, 2003, Proceedings, pp. 335-350, 2003, Springer, 3-540-20175-0. The full citation details ...](Pics/full.jpeg) |
2003 |
DBLP DOI BibTeX RDF |
Conformance testing, performance testing, test theory |
22 | Vlad Rusu |
Verification Using Test Generation Techniques. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FME ![In: FME 2002: Formal Methods - Getting IT Right, International Symposium of Formal Methods Europe, Copenhagen, Denmark, July 22-24, 2002, Proceedings, pp. 252-271, 2002, Springer, 3-540-43928-5. The full citation details ...](Pics/full.jpeg) |
2002 |
DBLP DOI BibTeX RDF |
electronic purse, Formal verification, conformance testing |
22 | K. Chandra Sekharaiah, D. Janaki Ram |
Object Schizophrenia Problem in Object Role System Design. ![Search on Bibsonomy](Pics/bibsonomy.png) |
OOIS ![In: Object-Oriented. Information Systems, 8th International Conference, OOIS 2002, Montpellier, France, September 2-5, 2002, Proceedings, pp. 494-506, 2002, Springer, 3-540-44087-9. The full citation details ...](Pics/full.jpeg) |
2002 |
DBLP DOI BibTeX RDF |
Object Schizophrenia (OS), Object Schizophrenia Problem (OSP), Role Modeling Problem (RMP), Subject Oriented Programming (SOP), Whole-Part Association (WPA), Role Paradigm Conformance Model (RPCM) |
22 | Wen-Huei Chen, Cho-Ching Lu |
Executable test sequence for the protocol control and data flow property with overlapping. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ISCC ![In: Proceedings of the Seventh IEEE Symposium on Computers and Communications (ISCC 2002), 1-4 July 2002, Taormina, Italy, pp. 251-257, 2002, IEEE Computer Society, 0-7695-1671-8. The full citation details ...](Pics/full.jpeg) |
2002 |
DBLP DOI BibTeX RDF |
SCP tour, Conformance testing, EFSM |
22 | Gusztáv Adamis, Katalin Tarnay |
Frame-Based Self-adaptive Test Case Selection. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IWSAS ![In: Self-Adaptive Software, Second International Workshop, IWSAS 2001, Balatonfüred, Hungary, May 17-19, 2001 Revised Papers, pp. 129-141, 2001, Springer, 3-540-00731-8. The full citation details ...](Pics/full.jpeg) |
2001 |
DBLP DOI BibTeX RDF |
frame representation, self-adaptive, conformance testing, WAP, TTCN |
22 | Rim Belhassine-Cherif, Abderrazak Ghedamsi |
Diagnostic Tests for Communicating Nondeterministic Finite State Machines. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ISCC ![In: Proceedings of the Fifth IEEE Symposium on Computers and Communications (ISCC 2000), 4-6 July 2000, Antibes, France, pp. 424-429, 2000, IEEE Computer Society, 0-7695-0722-0. The full citation details ...](Pics/full.jpeg) |
2000 |
DBLP DOI BibTeX RDF |
diagnostic, symptom, Protocol conformance testing |
22 | Kim Mens, Roel Wuyts, Theo D'Hondt |
Declaratively Codifying Software Architectures Using Virtual Software Classifications. ![Search on Bibsonomy](Pics/bibsonomy.png) |
TOOLS (29) ![In: TOOLS Europe 1999: 29th International Conference on Technology of Object-Oriented Languages and Systems, 7-10 June 1999, Nancy, France, pp. 33-45, 1999, IEEE Computer Society, 0-7695-0275-X. The full citation details ...](Pics/full.jpeg) |
1999 |
DBLP DOI BibTeX RDF |
software classification, declarative reasoning, software architecture, software engineering tool, conformance checking |
22 | Anna Mikhajlova |
Consistent Extension of Components in the Presence of Explicit Invariants. ![Search on Bibsonomy](Pics/bibsonomy.png) |
TOOLS (29) ![In: TOOLS Europe 1999: 29th International Conference on Technology of Object-Oriented Languages and Systems, 7-10 June 1999, Nancy, France, pp. 76-85, 1999, IEEE Computer Society, 0-7695-0275-X. The full citation details ...](Pics/full.jpeg) |
1999 |
DBLP DOI BibTeX RDF |
semantic conformance, component extensions, explicit invariants, refinement, consistency, inheritance, forwarding |
22 | Gautier Koscielny, Salah Sadou |
Dynamic Reuse of Services in Distributed Systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
TOOLS (29) ![In: TOOLS Europe 1999: 29th International Conference on Technology of Object-Oriented Languages and Systems, 7-10 June 1999, Nancy, France, pp. 305-318, 1999, IEEE Computer Society, 0-7695-0275-X. The full citation details ...](Pics/full.jpeg) |
1999 |
DBLP DOI BibTeX RDF |
dynamic reuse, type conformance, coordination, open distributed systems, late binding |
22 | Dick A. C. Quartel, Marten van Sinderen, Luís Ferreira Pires |
Service Creation: A Model-Based Approach. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FTDCS ![In: 7th IEEE Workshop on Future Trends of Distributed Computer Systems (FTDCS '99), 20-22 December 1999, Cape Town, South Africa, Proceedings, pp. 102-110, 1999, IEEE Computer Society, 0-7695-0468-X. The full citation details ...](Pics/full.jpeg) |
1999 |
DBLP DOI BibTeX RDF |
behavior refinement, conformance assessment, software components, behavior modeling, service creation |
22 | Patricia A. Billingsley |
Ergonomic Standards Go Beyond Hardware. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Softw. ![In: IEEE Softw. 11(2), pp. 82-84, 1994. The full citation details ...](Pics/full.jpeg) |
1994 |
DBLP DOI BibTeX RDF |
ergonomic standards, worker health, EC directive, European Community, European developers, US developers, conformance issues, usability standards, software companies, user interfaces, standards, user-interface design, safety, ergonomics, ISO standards, government policies, ISO 9000, ISO 9241, global market |
22 | Andreas Höfer, Marc Philipp |
An Empirical Study on the TDD Conformance of Novice and Expert Pair Programmers. ![Search on Bibsonomy](Pics/bibsonomy.png) |
XP ![In: Agile Processes in Software Engineering and Extreme Programming, 10th International Conference, XP 2009, Pula, Sardinia, Italy, May 25-29, 2009. Proceedings, pp. 33-42, 2009, Springer, 978-3-642-01852-7. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
experts and novices, test-driven development, pair programming, quasi-experiment |
22 | Alessio Bottrighi, Federico Chesani, Paola Mello, Gianpaolo Molino, Marco Montali, Stefania Montani, Sergio Storari, Paolo Terenziani, Mauro Torchio |
A Hybrid Approach to Clinical Guideline and to Basic Medical Knowledge Conformance. ![Search on Bibsonomy](Pics/bibsonomy.png) |
AIME ![In: Artificial Intelligence in Medicine, 12th Conference on Artificial Intelligence in Medicine, AIME 2009, Verona, Italy, July 18-22, 2009. Proceedings, pp. 91-95, 2009, 978-3-642-02975-2. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
|
22 | Gregorio Díaz 0001, Ismael Rodríguez |
Checking the Conformance of Orchestrations with Respect to Choreographies in Web Services: A Formal Approach. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FMOODS/FORTE ![In: Formal Techniques for Distributed Systems, Joint 11th IFIP WG 6.1 International Conference FMOODS 2009 and 29th IFIP WG 6.1 International Conference FORTE 2009, Lisboa, Portugal, June 9-12, 2009. Proceedings, pp. 231-236, 2009, Springer, 978-3-642-02137-4. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
|
22 | Nabil Hameurlain |
Compatibility and Conformance of Role-Based Interaction Components in MAS. ![Search on Bibsonomy](Pics/bibsonomy.png) |
KES-AMSTA ![In: Agent and Multi-Agent Systems: Technologies and Applications, Third KES International Symposium, KES-AMSTA 2009, Uppsala, Sweden, June 3-5, 2009. Proceedings, pp. 579-588, 2009, Springer, 978-3-642-01664-6. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
|
22 | Giorgio Brajnik |
Beyond Conformance: The Role of Accessibility Evaluation Methods. ![Search on Bibsonomy](Pics/bibsonomy.png) |
WISE Workshops ![In: Web Information Systems Engineering - WISE 2008 Workshops, WISE 2008 International Workshops, Auckland, New Zealand, September 1-4, 2008. Proceedings, pp. 63-80, 2008, Springer, 978-3-540-85199-8. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
|
22 | Pham Ngoc Hung, Takuya Katayama |
Modular Conformance Testing and Assume-Guarantee Verification for Evolving Component-Based Software. ![Search on Bibsonomy](Pics/bibsonomy.png) |
APSEC ![In: 15th Asia-Pacific Software Engineering Conference (APSEC 2008), 3-5 December 2008, Beijing, China, pp. 479-486, 2008, IEEE Computer Society, 978-0-7695-3446-6. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
|
22 | Nikhil Dinesh, Aravind K. Joshi, Insup Lee 0001, Oleg Sokolsky |
Checking Traces for Regulatory Conformance. ![Search on Bibsonomy](Pics/bibsonomy.png) |
RV ![In: Runtime Verification, 8th International Workshop, RV 2008, Budapest, Hungary, March 30, 2008. Selected Papers, pp. 86-103, 2008, Springer, 978-3-540-89246-5. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
|
22 | Hong-Viet Luong, Thomas Lambolais, Anne-Lise Courbis |
Implementation of the Conformance Relation for Incremental Development of Behavioural Models. ![Search on Bibsonomy](Pics/bibsonomy.png) |
MoDELS ![In: Model Driven Engineering Languages and Systems, 11th International Conference, MoDELS 2008, Toulouse, France, September 28 - October 3, 2008. Proceedings, pp. 356-370, 2008, Springer, 978-3-540-87874-2. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
|
22 | Nikhil Dinesh, Aravind K. Joshi, Insup Lee 0001, Oleg Sokolsky |
Reasoning about Conditions and Exceptions to Laws in Regulatory Conformance Checking. ![Search on Bibsonomy](Pics/bibsonomy.png) |
DEON ![In: Deontic Logic in Computer Science, 9th International Conference, DEON 2008, Luxembourg, Luxembourg, July 15-18, 2008. Proceedings, pp. 110-124, 2008, Springer, 978-3-540-70524-6. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
|
22 | Wil M. P. van der Aalst |
Discovery, Verification and Conformance of Workflows with Cancellation. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICGT ![In: Graph Transformations, 4th International Conference, ICGT 2008, Leicester, United Kingdom, September 7-13, 2008. Proceedings, pp. 18-37, 2008, Springer, 978-3-540-87404-1. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
Reset Nets, Verification, Petri Nets, Soundness, Process Mining |
22 | Julien Schmaltz, Jan Tretmans |
On Conformance Testing for Timed Systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FORMATS ![In: Formal Modeling and Analysis of Timed Systems, 6th International Conference, FORMATS 2008, Saint Malo, France, September 15-17, 2008. Proceedings, pp. 250-264, 2008, Springer, 978-3-540-85777-8. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
|
22 | Mario Bravetti, Gianluigi Zavattaro |
Contract Compliance and Choreography Conformance in the Presence of Message Queues. ![Search on Bibsonomy](Pics/bibsonomy.png) |
WS-FM ![In: Web Services and Formal Methods, 5th International Workshop, WS-FM 2008, Milan, Italy, September 4-5, 2008, Revised Selected Papers, pp. 37-54, 2008, Springer, 978-3-642-01363-8. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
|
22 | Ernesto Damiani, Gabriele Gianini |
A Non-invasive Method for the Conformance Assessment of Pair Programming Practices Based on Hierarchical Hidden Markov Models. ![Search on Bibsonomy](Pics/bibsonomy.png) |
XP ![In: Agile Processes in Software Engineering and Extreme Programming, 8th International Conference, XP 2007, Como, Italy, June 18-22, 2007, Proceedings, pp. 123-136, 2007, Springer, 978-3-540-73100-9. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
|
22 | Jennifer L. H. Webb |
HRD Conformance for Real-time H.264 Video Encoding. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICIP (5) ![In: Proceedings of the International Conference on Image Processing, ICIP 2007, September 16-19, 2007, San Antonio, Texas, USA, pp. 305-308, 2007, IEEE, 978-1-4244-1436-9. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
|
22 | Nikhil Dinesh, Aravind K. Joshi, Insup Lee 0001, Oleg Sokolsky |
Logic-Based Regulatory Conformance Checking. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Monterey Workshop ![In: Innovations for Requirement Analysis. From Stakeholders' Needs to Formal Designs, 14th Monterey Workshop 2007, Monterey, CA, USA, September 10-13, 2007. Revised Selected Papers, pp. 147-160, 2007, Springer, 978-3-540-89777-4. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
|
22 | Amit M. Paradkar, Avik Sinha, Clay Williams, Robert D. Johnson, Susan Outterson, Charles Shriver, Carol Liang |
Automated Functional Conformance Test Generation for Semantic Web Services. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICWS ![In: 2007 IEEE International Conference on Web Services (ICWS 2007), July 9-13, 2007, Salt Lake City, Utah, USA, pp. 110-117, 2007, IEEE Computer Society, 0-7695-2924-0. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
|
22 | Vincent C. Hu, Evan Martin, JeeHyun Hwang, Tao Xie 0001 |
Conformance Checking of Access Control Policies Specified in XACML. ![Search on Bibsonomy](Pics/bibsonomy.png) |
COMPSAC (2) ![In: 31st Annual International Computer Software and Applications Conference, COMPSAC 2007, Beijing, China, July 24-27, 2007. Volume 2, pp. 275-280, 2007, IEEE Computer Society. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
|
22 | Harald Meyer |
Calculating the Semantic Conformance of Processes. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Business Process Management Workshops ![In: Business Process Management Workshops, BPM 2007 International Workshops, BPI, BPD, CBP, ProHealth, RefMod, semantics4ws, Brisbane, Australia, September 24, 2007, Revised Selected Papers, pp. 473-483, 2007, Springer, 978-3-540-78237-7. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
|
22 | Mario Bravetti, Gianluigi Zavattaro |
Towards a Unifying Theory for Choreography Conformance and Contract Compliance. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SC@ETAPS ![In: Software Composition - 6th International Symposium, SC@ETAPS 2007, Braga, Portugal, March 24-25, 2007, Revised Selected Papers, pp. 34-50, 2007, Springer, 978-3-540-77350-4. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
|
22 | Marwan Abi-Antoun, Daniel Wang, Peter Torr |
Checking threat modeling data flow diagrams for implementation conformance and security. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ASE ![In: 22nd IEEE/ACM International Conference on Automated Software Engineering (ASE 2007), November 5-9, 2007, Atlanta, Georgia, USA, pp. 393-396, 2007, ACM, 978-1-59593-882-4. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
reflexion models, denial of service, security analysis, threat modeling, data flow diagrams, information disclosure, tampering, spoofing |
22 | Evan Tan, Jing Chen |
Towards a Stringent Bit-Rate Conformance for Frame-Layer Rate Control in H.264/AVC. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PCM ![In: Advances in Multimedia Information Processing - PCM 2007, 8th Pacific Rim Conference on Multimedia, Hong Kong, China, December 11-14, 2007, Proceedings, pp. 128-137, 2007, Springer, 978-3-540-77254-5. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
frame-layer, linear R-Q model, H.264/AVC, rate control, complexity measure, bit allocation |
22 | Bernhard K. Aichernig, Bernhard Peischl, Martin Weiglhofer, Franz Wotawa |
Protocol Conformance Testing a SIP Registrar: an Industrial Application of Formal Methods. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SEFM ![In: Fifth IEEE International Conference on Software Engineering and Formal Methods (SEFM 2007), 10-14 September 2007, London, England, UK, pp. 215-226, 2007, IEEE Computer Society, 978-0-7695-2884-7. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
|
22 | Mercedes G. Merayo, Manuel Núñez 0001 |
Testing conformance on Stochastic Stream X-Machines. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SEFM ![In: Fifth IEEE International Conference on Software Engineering and Formal Methods (SEFM 2007), 10-14 September 2007, London, England, UK, pp. 227-236, 2007, IEEE Computer Society, 978-0-7695-2884-7. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
|
22 | Umesh Bellur |
On using OO techniques to establish workflow conformance. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SAC ![In: Proceedings of the 2006 ACM Symposium on Applied Computing (SAC), Dijon, France, April 23-27, 2006, pp. 1447-1448, 2006, ACM, 1-59593-108-2. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
|
22 | José M. Alvarez, Pedro de la Cámara, Jesús Martínez, Pedro Merino 0001, Francisco C. Perez, Victoria Morillo |
An SDL Implementation of the UMTS Radio Resource Control Protocol Oriented to Conformance Testing. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ISoLA ![In: Leveraging Applications of Formal Methods, Second International Symposium, ISoLA 2006, Paphos, Cyprus, 15-19 November 2006, pp. 397-401, 2006, IEEE Computer Society, 978-0-7695-3071-0. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
|
22 | Cyril Grepet, Stéphane Maag |
Conformance and Interoperability Testing of an Ad Hoc Routing Protocol. ![Search on Bibsonomy](Pics/bibsonomy.png) |
MDM ![In: 7th International Conference on Mobile Data Management (MDM 2006), Nara, Japan, May 9-13, 2006, pp. 124, 2006, IEEE Computer Society, 0-7695-2526-1. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
|
22 | Yan Liu, Xia Yin, Jianping Wu |
Experience of Conformance Testing on IPv6 Protocols. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ISCC ![In: Proceedings of the 11th IEEE Symposium on Computers and Communications (ISCC 2006), 26-29 June 2006, Cagliari, Sardinia, Italy, pp. 95-100, 2006, IEEE Computer Society, 0-7695-2588-1. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
|
22 | Fritjof Boger Engelhardtsen, Andreas Prinz 0001 |
Application of Stuck-Free Conformance to Service-Role Composition. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SAM ![In: System Analysis and Modeling: Language Profiles, 5th International Workshop, SAM 2006, Kaiserslautern, Germany, May 31 - June 2, 2006, Revised Selected Papers, pp. 115-132, 2006, Springer, 3-540-68371-2. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
|
22 | Rob Nadolski, Owen O'Neill, Wim van der Vegt, Rob Koper |
Conformance Testing, the Elixer within the Chain for Learning Scenarios and Objects. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICALT ![In: Proceedings of the 6th IEEE International Conference on Advanced Learning Technologies, ICALT 2006, Kerkrade, The Netherlands, July 5-7, 2006, pp. 363-365, 2006, IEEE Computer Society, 0-7695-2632-2. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
|
22 | João Paulo A. Almeida, Pascal van Eck, Maria-Eugenia Iacob |
Requirements Traceability and Transformation Conformance in Model-Driven Development. ![Search on Bibsonomy](Pics/bibsonomy.png) |
EDOC ![In: Tenth IEEE International Enterprise Distributed Object Computing Conference (EDOC 2006), 16-20 October 2006, Hong Kong, China, pp. 355-366, 2006, IEEE Computer Society, 0-7695-2558-X. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
con-formance, assessment, model transformation, requirements traceability, model-driven design |
22 | Harald Fuchs, Nikolaus Färber |
ISMA Interoperability and Conformance. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Multim. ![In: IEEE Multim. 12(2), pp. 96-102, 2005. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
|
22 | Sagar Chaki, Edmund M. Clarke, Nishant Sinha 0001, Prasanna Thati |
Automated Assume-Guarantee Reasoning for Simulation Conformance. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CAV ![In: Computer Aided Verification, 17th International Conference, CAV 2005, Edinburgh, Scotland, UK, July 6-10, 2005, Proceedings, pp. 534-547, 2005, Springer, 3-540-27231-3. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
|
22 | Diana Senn, David A. Basin, Germano Caronni |
Firewall Conformance Testing. ![Search on Bibsonomy](Pics/bibsonomy.png) |
TestCom ![In: Testing of Communicating Systems, 17th IFIP TC6/WG 6.1 International Conference, TestCom 2005, Montreal, Canada, May 31 - June 2, 2005, Proceedings, pp. 226-241, 2005, Springer, 3-540-26054-4. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
|
22 | Mao Zheng, Vangalur S. Alagar |
Conformance Testing of BDI Properties in Agent-based Software Systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
APSEC ![In: 12th Asia-Pacific Software Engineering Conference (APSEC 2005), 15-17 December 2005, Taipei, Taiwan, pp. 457-464, 2005, IEEE Computer Society, 0-7695-2465-6. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
|
22 | Joseph Vanderwaart, Karl Crary |
Automated and certified conformance to responsiveness policies. ![Search on Bibsonomy](Pics/bibsonomy.png) |
TLDI ![In: Proceedings of TLDI'05: 2005 ACM SIGPLAN International Workshop on Types in Languages Design and Implementation, Long Beach, CA, USA, January 10, 2005, pp. 79-90, 2005, ACM, 1-58113-999-3. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
grid computing, typed assembly language, certified code |
22 | Frode Hansen, Vladimir A. Oleshchuk |
Conformance Checking of RBAC Policy and its Implementation. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ISPEC ![In: Information Security Practice and Experience, First International Conference, ISPEC 2005, Singapore, April 11-14, 2005, Proceedings, pp. 144-155, 2005, Springer, 3-540-25584-2. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
|
22 | Rita Dorofeeva, Khaled El-Fakih, Nina Yevtushenko 0001 |
An Improved Conformance Testing Method. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FORTE ![In: Formal Techniques for Networked and Distributed Systems - FORTE 2005, 25th IFIP WG 6.1 International Conference, Taipei, Taiwan, October 2-5, 2005, Proceedings, pp. 204-218, 2005, Springer, 3-540-29189-X. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
|
22 | Therese Berg, Olga Grinchtein, Bengt Jonsson 0001, Martin Leucker, Harald Raffelt, Bernhard Steffen |
On the Correspondence Between Conformance Testing and Regular Inference. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FASE ![In: Fundamental Approaches to Software Engineering, 8th International Conference, FASE 2005, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2005, Edinburgh, UK, April 4-8, 2005, Proceedings, pp. 175-189, 2005, Springer, 3-540-25420-X. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
|
22 | Reiko Heckel, Leonardo Mariani |
Automatic Conformance Testing of Web Services. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FASE ![In: Fundamental Approaches to Software Engineering, 8th International Conference, FASE 2005, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2005, Edinburgh, UK, April 4-8, 2005, Proceedings, pp. 34-48, 2005, Springer, 3-540-25420-X. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
|
22 | Khaled El-Fakih, Nina Yevtushenko 0001, Gregor von Bochmann |
FSM-Based Incremental Conformance Testing Methods. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Trans. Software Eng. ![In: IEEE Trans. Software Eng. 30(7), pp. 425-436, 2004. The full citation details ...](Pics/full.jpeg) |
2004 |
DBLP DOI BibTeX RDF |
|
22 | Stephan Schulz 0002 |
Derivation of Abstract Protocol Type Definitions for the Conformance Testing of Text-Based Protocols. ![Search on Bibsonomy](Pics/bibsonomy.png) |
TestCom ![In: Testing of Communicating Systems, 16th IFIP International Conerence, TestCom 2004, Oxford, UK, March 17-19, 2004, Proceedings, pp. 177-192, 2004, Springer, 3-540-21219-1. The full citation details ...](Pics/full.jpeg) |
2004 |
DBLP DOI BibTeX RDF |
|
22 | Luís Felipe Santos Silva, Guilherme Horta Travassos |
Tool-Supported Unobtrusive Evaluation of Software Engineering Process Conformance. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ISESE ![In: 2004 International Symposium on Empirical Software Engineering (ISESE 2004), 19-20 August 2004, Redondo Beach, CA, USA, pp. 127-135, 2004, IEEE Computer Society, 0-7695-2165-7. The full citation details ...](Pics/full.jpeg) |
2004 |
DBLP DOI BibTeX RDF |
|
22 | Thierry J.-F. Omnés, Gerard Postuma, Jos Verhaegh, Marleen Boonen, Nick Gatherer |
Using SSDE for USB2.0 conformance co-verification. ![Search on Bibsonomy](Pics/bibsonomy.png) |
MEMOCODE ![In: 1st ACM & IEEE International Conference on Formal Methods and Models for Co-Design (MEMOCODE 2003), 24-26 June 2003, Mont Saint-Michel, France, Proceedings, pp. 113-122, 2003, IEEE Computer Society, 0-7695-1923-7. The full citation details ...](Pics/full.jpeg) |
2003 |
DBLP DOI BibTeX RDF |
|
22 | G. Ramalingam, Alex Varshavsky, John Field, Deepak Goyal, Shmuel Sagiv |
Deriving Specialized Program Analyses for Certifying Component-Client Conformance. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PLDI ![In: Proceedings of the 2002 ACM SIGPLAN Conference on Programming Language Design and Implementation (PLDI), Berlin, Germany, June 17-19, 2002, pp. 83-94, 2002, ACM, 1-58113-463-0. The full citation details ...](Pics/full.jpeg) |
2002 |
DBLP DOI BibTeX RDF |
model checking, static analysis, abstract interpretation, software components, predicate abstraction |
22 | Steffen Helke, Thomas Santen |
Mechanized Analysis of Behavioral Conformance in the Eiffel Base Libraries. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FME ![In: FME 2001: Formal Methods for Increasing Software Productivity, International Symposium of Formal Methods Europe, Berlin, Germany, March 12-16, 2001, Proceedings, pp. 20-42, 2001, Springer, 3-540-41791-5. The full citation details ...](Pics/full.jpeg) |
2001 |
DBLP DOI BibTeX RDF |
|
22 | Lukasz Garstecki, Pawel Kaczmarek, Jacques Chassin de Kergommeaux, Henryk Krawczyk, Bogdan Wiszniewski |
Testing for Conformance of Parallel Programming Pattern Languages. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PPAM ![In: Parallel Processing and Applied Mathematics, 4th International Conference, PPAM 2001 Naleczow, Poland, September 9-12, 2001, Revised Papers, pp. 323-330, 2001, Springer, 3-540-43792-4. The full citation details ...](Pics/full.jpeg) |
2001 |
DBLP DOI BibTeX RDF |
|
22 | Richard F. Paige, Jonathan S. Ostroff |
Metamodelling and Conformance Checking with PVS. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FASE ![In: Fundamental Approaches to Software Engineering, 4th International Conference, FASE 2001 Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2001 Genova, Italy, April 2-6, 2001, Proceedings, pp. 2-16, 2001, Springer, 3-540-41863-6. The full citation details ...](Pics/full.jpeg) |
2001 |
DBLP DOI BibTeX RDF |
|
22 | T. Ramalingom, Krishnaiyan Thulasiraman, Anindya Das |
A Matroid-Theoretic Solution to an Assignment Problem in the Conformance Testing of Communication Protocols. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Trans. Computers ![In: IEEE Trans. Computers 49(4), pp. 317-330, 2000. The full citation details ...](Pics/full.jpeg) |
2000 |
DBLP DOI BibTeX RDF |
algorithms, communication, Protocol, graph theory, communication protocol, matroids, protocol testing |
22 | Arata Koike |
TCP Conformance for Network-Based Control. ![Search on Bibsonomy](Pics/bibsonomy.png) |
INTERWORKING ![In: Next Generation Networks, Networks and Services for the Information Society, 5th IFIP TC6 International Symposium, INTERWORKING 2000, Bergen, Norway, October 3-6, 2000, Proceedings, pp. 243-253, 2000, Springer, 3-540-41140-2. The full citation details ...](Pics/full.jpeg) |
2000 |
DBLP DOI BibTeX RDF |
|
22 | Béatrice Bérard, Laurent Fribourg |
Automated Verification of a Parametric Real-Time Program: The ABR Conformance Protocol. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CAV ![In: Computer Aided Verification, 11th International Conference, CAV '99, Trento, Italy, July 6-10, 1999, Proceedings, pp. 96-107, 1999, Springer, 3-540-66202-2. The full citation details ...](Pics/full.jpeg) |
1999 |
DBLP DOI BibTeX RDF |
|
22 | Ed Brinksma |
Formal Methods for Conformance Testing: Theory Can Be Practical. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CAV ![In: Computer Aided Verification, 11th International Conference, CAV '99, Trento, Italy, July 6-10, 1999, Proceedings, pp. 44-45, 1999, Springer, 3-540-66202-2. The full citation details ...](Pics/full.jpeg) |
1999 |
DBLP DOI BibTeX RDF |
|
22 | Jean-François Monin, Francis Klay |
Correctness Proof of the Standardized Algorithm for ABR Conformance. ![Search on Bibsonomy](Pics/bibsonomy.png) |
World Congress on Formal Methods ![In: FM'99 - Formal Methods, World Congress on Formal Methods in the Development of Computing Systems, Toulouse, France, September 20-24, 1999, Proceedings, Volume I, pp. 662-681, 1999, Springer, 3-540-66587-0. The full citation details ...](Pics/full.jpeg) |
1999 |
DBLP DOI BibTeX RDF |
|
22 | Jun Bi, Jianping Wu, X. Chen |
A Concurrent TTCN based Approach to Conformance Testing of Distributed Routing Protocol OSPF v2. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICCCN ![In: Proceedings of the International Conference On Computer Communications and Networks (ICCCN 1998), October 12-15, 1998, Lafayette, Louisiana, USA, pp. 760-767, 1998, IEEE Computer Society, 0-8186-9014-3. The full citation details ...](Pics/full.jpeg) |
1998 |
DBLP DOI BibTeX RDF |
Concurrent TTCN, CEBE, Internet, Distributed Systems, Formal Methods, Computer Networks, Test Generation, Routing Protocol, Labeled Transition Systems, OSPF, Protocol Testing |
22 | Lynne Rosenthal, Mark Skall, Mary Brady, Carmelo Montanez-Rivera |
Web-based conformance testing for VRML. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ACM Stand. ![In: ACM Stand. 5(3), pp. 110-114, 1997. The full citation details ...](Pics/full.jpeg) |
1997 |
DBLP DOI BibTeX RDF |
|
22 | Alexandre Petrenko |
Technical Correspondence Comments on "A Reduced Test Suite for Protocol Conformance Testing". ![Search on Bibsonomy](Pics/bibsonomy.png) |
ACM Trans. Softw. Eng. Methodol. ![In: ACM Trans. Softw. Eng. Methodol. 6(3), pp. 329-331, 1997. The full citation details ...](Pics/full.jpeg) |
1997 |
DBLP DOI BibTeX RDF |
|
22 | Fabrizio Lombardi, Yinan N. Shen, Hannu H. Kari |
On a new approach for enhancing the fault coverage of conformance testing of protocols. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SPDP ![In: Proceedings of the Third IEEE Symposium on Parallel and Distributed Processing, SPDP 1991, 2-5 December 1991, Dallas, Texas, USA, pp. 428-435, 1991, IEEE Computer Society, 0-8186-2310-1. The full citation details ...](Pics/full.jpeg) |
1991 |
DBLP DOI BibTeX RDF |
|
22 | Bo Yang, Hasan Ural |
Protocol Conformance Test Generation Using Multiple UIO Sequences With Overlapping. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SIGCOMM ![In: Proceedings of the ACM Symposium on Communications Architectures & Protocols, SIGCOMM 1990, Philadelpia, PA, USA, September 24-27, 1990, pp. 118-125, 1990, ACM, 0-89791-405-8. The full citation details ...](Pics/full.jpeg) |
1990 |
DBLP DOI BibTeX RDF |
|
22 | Hubert Zimmermann |
European Harmonization of OSI Usage and Conformance Testing Services. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Networking in Open Systems ![In: Networking in Open Systems, International Seminar, Oberlech, Austria, August 18-22, 1986, Proceedings, pp. 422-436, 1986, Springer, 3-540-17707-8. The full citation details ...](Pics/full.jpeg) |
1986 |
DBLP DOI BibTeX RDF |
|
16 | Mercedes G. Merayo, Iksoon Hwang, Manuel Núñez 0001, Ana R. Cavalli |
A Statistical Approach to Test Stochastic and Probabilistic Systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICFEM ![In: Formal Methods and Software Engineering, 11th International Conference on Formal Engineering Methods, ICFEM 2009, Rio de Janeiro, Brazil, December 9-12, 2009. Proceedings, pp. 186-205, 2009, Springer, 978-3-642-10372-8. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
|
16 | Margus Veanes, Nikolaj S. Bjørner |
Input-Output Model Programs. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICTAC ![In: Theoretical Aspects of Computing - ICTAC 2009, 6th International Colloquium, Kuala Lumpur, Malaysia, August 16-20, 2009. Proceedings, pp. 322-335, 2009, Springer, 978-3-642-03465-7. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
|
16 | Martin Feilkas, Daniel Ratiu, Elmar Jürgens |
The loss of architectural knowledge during system evolution: An industrial case study. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICPC ![In: The 17th IEEE International Conference on Program Comprehension, ICPC 2009, Vancouver, British Columbia, Canada, May 17-19, 2009, pp. 188-197, 2009, IEEE Computer Society, 978-1-4244-3998-0. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
|
16 | Ana R. Cavalli, Stéphane Maag, Edgardo Montes de Oca, Fatiha Zaïdi |
A Formal Passive Testing Approach to test a MANET Routing Protocol. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PerCom Workshops ![In: Seventh Annual IEEE International Conference on Pervasive Computing and Communications - Workshops (PerCom Workshops 2009), 9-13 March 2009, Galveston, TX, USA, pp. 1-6, 2009, IEEE Computer Society. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
|
16 | Artur Boronat, José Meseguer 0001 |
Algebraic Semantics of OCL-Constrained Metamodel Specifications. ![Search on Bibsonomy](Pics/bibsonomy.png) |
TOOLS (47) ![In: Objects, Components, Models and Patterns, 47th International Conference, TOOLS EUROPE 2009, Zurich, Switzerland, June 29-July 3, 2009. Proceedings, pp. 96-115, 2009, Springer, 978-3-642-02570-9. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
OCL invariants, MOF metamodel, static and dynamic analysis of models, Membership equational logic |
16 | Jens R. Calamé, Jaco van de Pol |
Applying Model-Based Testing to HTML Rendering Engines - A Case Study. ![Search on Bibsonomy](Pics/bibsonomy.png) |
TestCom/FATES ![In: Testing of Software and Communicating Systems, 20th IFIP TC 6/WG 6.1 International Conference, TestCom 2008, 8th International Workshop, FATES 2008, Tokyo, Japan, June 10-13, 2008, Proceedings, pp. 250-265, 2008, Springer, 978-3-540-68514-2. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
|
16 | Waldemar Pires, João Brunet, Franklin Ramalho |
UML-based design test generation. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SAC ![In: Proceedings of the 2008 ACM Symposium on Applied Computing (SAC), Fortaleza, Ceara, Brazil, March 16-20, 2008, pp. 735-740, 2008, ACM, 978-1-59593-753-7. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
design test, code generation, MDA, UML class diagram |
16 | Vibhore Kumar, Karsten Schwan, Subu Iyer, Yuan Chen 0001, Akhil Sahai |
A state-space approach to SLA based management. ![Search on Bibsonomy](Pics/bibsonomy.png) |
NOMS ![In: IEEE/IFIP Network Operations and Management Symposium: Pervasive Management for Ubioquitous Networks and Services, NOMS 2008, 7-11 April 2008, Salvador, Bahia, Brazil, pp. 192-199, 2008, IEEE, 978-1-4244-2066-7. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
|
16 | Anders Hessel, Kim Guldstrand Larsen, Marius Mikucionis, Brian Nielsen, Paul Pettersson, Arne Skou |
Testing Real-Time Systems Using UPPAAL. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Formal Methods and Testing ![In: Formal Methods and Testing, An Outcome of the FORTEST Network, Revised Selected Papers, pp. 77-117, 2008, Springer, 978-3-540-78916-1. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
|
16 | Qi Cui, Wenchang Shi |
An Approach for Compliance Validation of Trusted Computing Applications. ![Search on Bibsonomy](Pics/bibsonomy.png) |
WKDD ![In: Proceedings of the International Workshop on Knowledge Discovery and Data Mining, WKDD 2008, Adelaide, Australia, 23-24 January 2008, pp. 574-579, 2008, IEEE Computer Society, 0-7695-3090-7. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
|
16 | Graham Hughes, Tevfik Bultan, Muath Alkhalaf |
Client and server verification for web services using interface grammars. ![Search on Bibsonomy](Pics/bibsonomy.png) |
TAV-WEB ![In: Proceedings of the 2008 Workshop on Testing, Analysis, and Verification of Web Services and Applications, held in conjunction with the ACM SIGSOFT International Symposium on Software Testing and Analysis (ISSTA 2008), TAV-WEB 2008, Seattle, Washington, USA, July 21, 2008, pp. 40-46, 2008, ACM, 978-1-60558-053-1. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
interface grammars, web services |
16 | Stephen Cranefield, Michael Winikoff |
Verifying Social Expectations by Model Checking Truncated Paths. ![Search on Bibsonomy](Pics/bibsonomy.png) |
COIN@AAMAS&AAAI ![In: Coordination, Organizations, Institutions and Norms in Agent Systems IV, COIN 2008 International Workshops, COIN@AAMAS 2008, Estoril, Portugal, May 12, 2008. COIN@AAAI 2008, Chicago, USA, July 14, 2008. Revised Selected Papers, pp. 204-219, 2008, Springer, 978-3-642-00442-1. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
|
Displaying result #201 - #300 of 2040 (100 per page; Change: ) Pages: [ <<][ 1][ 2][ 3][ 4][ 5][ 6][ 7][ 8][ 9][ 10][ 11][ 12][ >>] |
|