Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
21 | Bernard Stepien, Benjamin Eze, Liam Peyton |
Testing Policy-Based e-Health Monitoring Processes Using TTCN-3. ![Search on Bibsonomy](Pics/bibsonomy.png) |
MCETECH ![In: E-Technologies - 6th International Conference, MCETECH 2015, Montréal, QC, Canada, May 12-15, 2015, Proceedings, pp. 197-211, 2015, Springer, 978-3-319-17956-8. The full citation details ...](Pics/full.jpeg) |
2015 |
DBLP DOI BibTeX RDF |
|
21 | Yongzheng Liang |
OCCI and TTCN-3 - Towards a Standardized Cloud Quality Assessment Framework. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CLOSER ![In: CLOSER 2015 - Proceedings of the 5th International Conference on Cloud Computing and Services Science, Lisbon, Portugal, 20-22 May, 2015., pp. 40-48, 2015, SciTePress, 978-989-758-104-5. The full citation details ...](Pics/full.jpeg) |
2015 |
DBLP DOI BibTeX RDF |
|
21 | Mohammad Shahrad, Mahdi Shabany |
TTCN: A new approach for low-power split-row LDPC decoders. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ISCAS ![In: 2015 IEEE International Symposium on Circuits and Systems, ISCAS 2015, Lisbon, Portugal, May 24-27, 2015, pp. 2001-2004, 2015, IEEE, 978-1-4799-8391-9. The full citation details ...](Pics/full.jpeg) |
2015 |
DBLP DOI BibTeX RDF |
|
21 | Bernard Stepien, Kavya Mallur, Liam Peyton |
Testing Business Processes Using TTCN-3. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SDL Forum ![In: SDL 2015: Model-Driven Engineering for Smart Cities - 17th International SDL Forum, Berlin, Germany, October 12-14, 2015, Proceedings, pp. 252-267, 2015, Springer, 978-3-319-24911-7. The full citation details ...](Pics/full.jpeg) |
2015 |
DBLP DOI BibTeX RDF |
|
21 | Yassine El Amrani, Hans W. Nissen |
Eine Testautomatisierung fur Roboter-Steuerprogramme auf Android unter Verwendung von TTCN-3. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Softwaretechnik-Trends ![In: Softwaretechnik-Trends 34(3), 2014. The full citation details ...](Pics/full.jpeg) |
2014 |
DBLP BibTeX RDF |
|
21 | Bernard Stepien, Liam Peyton, Ming Shang, Theofanis Vassiliou-Gioles |
An integrated TTCN-3 test framework architecture for interconnected object-based internet applications. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Int. J. Electron. Bus. ![In: Int. J. Electron. Bus. 11(1), pp. 1-23, 2014. The full citation details ...](Pics/full.jpeg) |
2014 |
DBLP DOI BibTeX RDF |
|
21 | Philip Makedonski, Jens Grabowski, Florian Philipp |
Quantifying the evolution of TTCN-3 as a language. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Int. J. Softw. Tools Technol. Transf. ![In: Int. J. Softw. Tools Technol. Transf. 16(3), pp. 227-246, 2014. The full citation details ...](Pics/full.jpeg) |
2014 |
DBLP DOI BibTeX RDF |
|
21 | Bernard Stepien, Liam Peyton |
Innovation and evolution in integrated web application testing with TTCN-3. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Int. J. Softw. Tools Technol. Transf. ![In: Int. J. Softw. Tools Technol. Transf. 16(3), pp. 269-283, 2014. The full citation details ...](Pics/full.jpeg) |
2014 |
DBLP DOI BibTeX RDF |
|
21 | Axel Rennoch, Marc-Florian Wendland, Andreas Hoffmann 0001, Martin A. Schneider |
Advanced Test Modelling and Execution Based on the International Standardized Techniques TTCN-3 and UTP. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ISCTCS ![In: Trustworthy Computing and Services - International Conference, ISCTCS 2014, Beijing, China, November 28-29, 2014, Revised Selected Papers, pp. 245-252, 2014, Springer, 978-3-662-47400-6. The full citation details ...](Pics/full.jpeg) |
2014 |
DBLP DOI BibTeX RDF |
|
21 | Sumei Zhang, Hua Li, Yu Xue, Xianrong Wang |
Using TTCN-3 to Test SPDY Protocol Interaction Property. ![Search on Bibsonomy](Pics/bibsonomy.png) |
COMPSAC Workshops ![In: IEEE 38th Annual Computer Software and Applications Conference, COMPSAC Workshops 2014, Vasteras, Sweden, July 21-25, 2014, pp. 541-546, 2014, IEEE Computer Society, 978-1-4799-3578-9. The full citation details ...](Pics/full.jpeg) |
2014 |
DBLP DOI BibTeX RDF |
|
21 | Bernard Stepien, Liam Peyton |
Challenges of Testing Periodic Messages in Avionics Systems Using TTCN-3. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICTSS ![In: Testing Software and Systems - 25th IFIP WG 6.1 International Conference, ICTSS 2013, Istanbul, Turkey, November 13-15, 2013, Proceedings, pp. 207-222, 2013, Springer, 978-3-642-41706-1. The full citation details ...](Pics/full.jpeg) |
2013 |
DBLP DOI BibTeX RDF |
|
21 | Hlödver Tómasson, Helmut Neukirchen |
Distributed testing of cloud computing applications using the TTCN-3-based Jata test framework. ![Search on Bibsonomy](Pics/bibsonomy.png) |
NordiCloud ![In: Second Nordic Symposium on Cloud Computing & Internet Technologies, NordiCloud '13, Oslo, Norway, September 1-3, 2013, pp. 22-29, 2013, ACM, 978-1-4503-2307-9. The full citation details ...](Pics/full.jpeg) |
2013 |
DBLP DOI BibTeX RDF |
|
21 | Gusztáv Adamis, Antal Wu-Hen-Chang, Gábor Árpád Németh, Levente Erös, Gábor Kovács |
Data Flow Testing in TTCN-3 with a Relational Database Schema. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SDL Forum ![In: SDL 2013: Model-Driven Dependability Engineering - 16th International SDL Forum, Montreal, Canada, June 26-28, 2013. Proceedings, pp. 1-18, 2013, Springer, 978-3-642-38910-8. The full citation details ...](Pics/full.jpeg) |
2013 |
DBLP DOI BibTeX RDF |
|
21 | Fatang Chen, Gang Zhou |
RRM conformance testing in TD-LTE system based on TTCN-3. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICIA ![In: IEEE International Conference on Information and Automation, ICIA 2013, Yinchuan, China, August 26-28, 2013, pp. 943-945, 2013, IEEE. The full citation details ...](Pics/full.jpeg) |
2013 |
DBLP DOI BibTeX RDF |
|
21 | Yong Po Liu, Ji Wu 0003, Chuangye Chang, Shuangmei Liu |
Design of the Framework for Reverse Model Based on TTCN-3 Test Systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
BIC-TA ![In: Proceedings of The Eighth International Conference on Bio-Inspired Computing: Theories and Applications, BIC-TA 2013, HuangShan, China, July 12-14, 2013, pp. 1155-1163, 2013, Springer, 978-3-642-37501-9. The full citation details ...](Pics/full.jpeg) |
2013 |
DBLP DOI BibTeX RDF |
|
21 | Mariam Lahami, Fairouz Fakhfakh, Moez Krichen, Mohamed Jmaiel |
Towards a TTCN-3 Test System for Runtime Testing of Adaptable and Distributed Systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICTSS ![In: Testing Software and Systems - 24th IFIP WG 6.1 International Conference, ICTSS 2012, Aalborg, Denmark, November 19-21, 2012. Proceedings, pp. 71-86, 2012, Springer, 978-3-642-34690-3. The full citation details ...](Pics/full.jpeg) |
2012 |
DBLP DOI BibTeX RDF |
|
21 | Sven Gröning, Christian Lewandowski, Jens Schmutzler, Christian Wietfeld |
Interoperability Testing Based on TTCN-3 for V2G Communication Interfaces. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICCVE ![In: 2012 International Conference on Connected Vehicles and Expo, ICCVE 2012, Beijing, China, December 12-16, 2012, pp. 298-303, 2012, IEEE Computer Society, 978-1-4673-4705-1. The full citation details ...](Pics/full.jpeg) |
2012 |
DBLP DOI BibTeX RDF |
|
21 | Bernard Stepien, Pulei Xiong, Liam Peyton |
A Systematic Approach to Web Application Penetration Testing Using TTCN-3. ![Search on Bibsonomy](Pics/bibsonomy.png) |
MCETECH ![In: E-Technologies: Transformation in a Connected World - 5th International Conference, MCETECH 2011, Les Diablerets, Switzerland, January 23-26, 2011, Revised Selected Papers, pp. 1-16, 2011, Springer, 978-3-642-20861-4. The full citation details ...](Pics/full.jpeg) |
2011 |
DBLP DOI BibTeX RDF |
|
21 | Li Zhou, Xia Yin, Zhiliang Wang |
Protocol Security Testing with SPIN and TTCN-3. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICST Workshops ![In: Fourth IEEE International Conference on Software Testing, Verification and Validation, ICST 2012, Berlin, Germany, 21-25 March, 2011, Workshop Proceedings, pp. 511-519, 2011, IEEE Computer Society, 978-0-7695-4345-1. The full citation details ...](Pics/full.jpeg) |
2011 |
DBLP DOI BibTeX RDF |
|
21 | Zuk Berisha |
Erweiterung einer TTCN-3 SIP Testinfrastruktur zum Testen von RTP Datenströmen. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Informatiktage ![In: Informatiktage 2011 - Fachwissenschaftlicher Informatik-Kongress, 25. und 26. März 2011, B-IT Bonn-Aachen International Center for Information Technology in Bonn, pp. 223-226, 2011, GI, 978-3-88579-444-8. The full citation details ...](Pics/full.jpeg) |
2011 |
DBLP BibTeX RDF |
|
21 | Antal Wu-Hen-Chang, Gusztáv Adamis, Levente Erös, Gábor Kovács, Tibor Csöndes |
A New Approach in Model-Based Testing: Designing Test Models in TTCN-3. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SDL Forum ![In: SDL 2011: Integrating System and Software Modeling - 15th International SDL Forum Toulouse, France, July 5-7, 2011. Revised Papers, pp. 90-105, 2011, Springer, 978-3-642-25263-1. The full citation details ...](Pics/full.jpeg) |
2011 |
DBLP DOI BibTeX RDF |
|
21 | Barath Kumar, Bjoern Czybik, Jürgen Jasperneite |
Model based TTCN-3 testing of industrial automation systems - First results. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ETFA ![In: IEEE 16th Conference on Emerging Technologies & Factory Automation, ETFA 2011, Toulouse, France, September 5-9, 2011, pp. 1-4, 2011, IEEE, 978-1-4577-0018-7. The full citation details ...](Pics/full.jpeg) |
2011 |
DBLP DOI BibTeX RDF |
|
21 | Jürgen Großmann, Hans-Werner Wiesbrock |
Wiederverwendbarkeit und Management von modellbasierten X-in-the-Loop Tests mit TTCN-3 Embedded. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Softwaretechnik-Trends ![In: Softwaretechnik-Trends 30(2), 2010. The full citation details ...](Pics/full.jpeg) |
2010 |
DBLP BibTeX RDF |
|
21 | Ina Schieferdecker |
Test Automation with TTCN-3 - State of the Art and a Future Perspective. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICTSS ![In: Testing Software and Systems - 22nd IFIP WG 6.1 International Conference, ICTSS 2010, Natal, Brazil, November 8-10, 2010. Proceedings, pp. 1-14, 2010, Springer, 978-3-642-16572-6. The full citation details ...](Pics/full.jpeg) |
2010 |
DBLP DOI BibTeX RDF |
|
21 | Zbigniew Lukasik, Waldemar Nowakowski |
Application of TTCN-3 for Testing of Railway Interlocking Systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
TST ![In: Transport Systems Telematics - 10th Conference, TST 2010, Katowice - Ustron, Poland, October 20-23, 2010. Selected Papers, pp. 447-454, 2010, Springer, 978-3-642-16471-2. The full citation details ...](Pics/full.jpeg) |
2010 |
DBLP DOI BibTeX RDF |
|
21 | Jens Nodler, Helmut Neukirchen, Jens Grabowski |
A Flexible Framework for Quality Assurance of Software Artefacts with Applications to Java, UML, and TTCN-3 Test Specifications. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICST ![In: Second International Conference on Software Testing Verification and Validation, ICST 2009, Denver, Colorado, USA, April 1-4, 2009, pp. 101-110, 2009, IEEE Computer Society, 978-0-7695-3601-9. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
|
21 | Juergen Grossmann, Diana Alina Serbanescu, Ina Schieferdecker |
Testing Embedded Real Time Systems with TTCN-3. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICST ![In: Second International Conference on Software Testing Verification and Validation, ICST 2009, Denver, Colorado, USA, April 1-4, 2009, pp. 81-90, 2009, IEEE Computer Society, 978-0-7695-3601-9. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
|
21 | Hochang Chae, Xiulin Jin, Seonghun Lee, Jeonghun Cho |
TEST: Testing Environment for Embedded Systems Based on TTCN-3 in SILS. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FGIT-ASEA ![In: Advances in Software Engineering - International Conference on Advanced Software Engineering and Its Applications, ASEA 2009 Held as Part of the Future Generation Information Technology Conference, FGIT 2009, Jeju Island, Korea, December 10-12, 2009. Proceedings, pp. 204-212, 2009, Springer, 978-3-642-10618-7. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
|
21 | Yang Xiang, Zhiliang Wang, Xia Yin |
SIP Robustness Testing Based on TTCN-3. ![Search on Bibsonomy](Pics/bibsonomy.png) |
AINA Workshops ![In: 23rd International Conference on Advanced Information Networking and Applications, AINA 2009, Workshops Proceedings, Bradford, United Kingdom, May 26-29, 2009, pp. 122-128, 2009, IEEE Computer Society, 978-0-7695-3639-2. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
|
21 | Luo Xu, Ji Wu 0003, Chao Liu 0002 |
T3FAH: A TTCN-3 Based Fuzzer with Attack Heuristics. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CSIE (7) ![In: CSIE 2009, 2009 WRI World Congress on Computer Science and Information Engineering, March 31 - April 2, 2009, Los Angeles, California, USA, 7 Volumes, pp. 744-749, 2009, IEEE Computer Society, 978-0-7695-3507-4. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
|
21 | Ina Schieferdecker, Jens Grabowski |
Introduction to the special section on advances in test automation: the evolution of TTCN-3. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Int. J. Softw. Tools Technol. Transf. ![In: Int. J. Softw. Tools Technol. Transf. 10(4), pp. 281-283, 2008. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
|
21 | Helmut Neukirchen, Benjamin Zeiss, Jens Grabowski, Paul Baker, Dominic Evans |
Quality assurance for TTCN-3 test specifications. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Softw. Test. Verification Reliab. ![In: Softw. Test. Verification Reliab. 18(2), pp. 71-97, 2008. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
|
21 | Stefan Blom, Thomas Deiß, Natalia Ioustinova, Ari Kontio, Jaco van de Pol, Axel Rennoch, Natalia Sidorova |
Simulated time for host-based testing with TTCN-3. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Softw. Test. Verification Reliab. ![In: Softw. Test. Verification Reliab. 18(1), pp. 29-49, 2008. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
|
21 | Winfried Dulz |
On-the-Fly Testing by Using an Executable TTCN-3 Markov Chain Usage Model. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ENASE (Selected Papers) ![In: Evaluation of Novel Approaches to Software Engineering - 3rd and 4th International Conferences, ENASE 2008/2009, Funchal, Madeira, Portugal, May 4-7, 2008 / Milan, Italy, May 9-10, 2009. Revised Selected Papers, pp. 17-30, 2008, 978-3-642-14818-7. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
|
21 | Winfried Dulz |
On-the-fly Interpretation of Test Cases in an Automatically Generated TTCN-3 Test Suite. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ENASE ![In: ENASE 2008 - Proceedings of the 3rd International Conference on Evaluation of Novel Approaches to Software Engineering, Funchal, Madeira, Portugal, May 4-7, 2008, pp. 72-80, 2008, INSTICC Press, 978-989-8111-28-9. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP BibTeX RDF |
|
21 | Edith Werner, Jens Grabowski, Stefan Troschütz, Benjamin Zeiss |
A TTCN-3-based Web Service Test Framework. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Software Engineering (Workshops) ![In: Software Engineering 2008 - Workshopband, Fachtagung des GI-Fachbereichs Softwaretechnik, 18.-22.2.2008 in München, pp. 375-382, 2008, GI, 978-3-88579-216-1. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP BibTeX RDF |
|
21 | Benjamin Zeiss, Diana Vega, Ina Schieferdecker, Helmut Neukirchen, Jens Grabowski |
Applying the ISO 9126 quality model to test specifications - exemplified for TTCN-3 test specifications. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Software Engineering ![In: Software Engineering 2007, Fachtagung des GI-Fachbereichs Softwaretechnik, 27.-30.3.2007 in Hamburg, pp. 231-242, 2007, GI, 978-3-88579-199-7. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP BibTeX RDF |
|
21 | Jens Bräuer, Henning Kleinwechter, Andreas Leicher |
µTTCN - an approach to continuous signals in TTCN-3. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Software Engineering (Workshops) ![In: Software Engineering 2007 - Beiträge zu den Workshops, Fachtagung des GI-Fachbereichs Softwaretechnik, 27.-30.3.2007 in Hamburg, pp. 55-64, 2007, GI, 978-3-88579-200-0. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP BibTeX RDF |
|
21 | S. Onofre, Carlos Agostinho, Ricardo Jardim-Gonçalves, Adolfo Steiger-Garção |
Applying TTCN to enhance B2B Conformance testing frameworks. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IESA ![In: Enterprise Interoperability II - New Challenges and Industrial Approaches, Proceedings of the 3th International Conference on Interoperability for Enterprise Software and Applications, IESA 2007, March 27-30, 2007, Funchal, Madeira Island, Portugal, pp. 479-482, 2007, Springer, 978-1-84628-857-9. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
|
21 | Máté J. Csorba, Dániel Eöttevényi, Sándor Palugyai |
Experimenting with Dynamic Test Component Deployment in TTCN-3. ![Search on Bibsonomy](Pics/bibsonomy.png) |
TRIDENTCOM ![In: 3rd International ICST Conference on Testbeds and Research Infrastructures for the Development of Networks and Communities, TridentCom 2007, Orlando, Florida, USA, May 21-23 2007, pp. 1-8, 2007, IEEE, 978-1-4244-0739-2. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
|
21 | Juhan P. Ernits, Andres Kull, Kullo Raiend, Jüri Vain |
Generating TTCN-3 Test Cases from EFSM Models of Reactive Software Using Model Checking. ![Search on Bibsonomy](Pics/bibsonomy.png) |
GI Jahrestagung (2) ![In: 36. Jahrestagung der Gesellschaft für Informatik, Informatik für Menschen, INFORMATIK 2006, Dresden, Germany, October 2-6, 2006, Band 2, pp. 241-248, 2006, GI, 978-3-88579-188-1. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP BibTeX RDF |
|
21 | Jens R. Calamé, Natalia Ioustinova, Jaco van de Pol |
Automatisierte Erzeugung von TTCN-3 Testfiällen aus UML-Modellen. ![Search on Bibsonomy](Pics/bibsonomy.png) |
GI Jahrestagung (2) ![In: 36. Jahrestagung der Gesellschaft für Informatik, Informatik für Menschen, INFORMATIK 2006, Dresden, Germany, October 2-6, 2006, Band 2, pp. 257-261, 2006, GI, 978-3-88579-188-1. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP BibTeX RDF |
|
21 | Joseph C. Okika, Anders P. Ravn, Zhiming Liu 0001, Lokesh Siddalingaiah |
Developing a TTCN-3 Test Harness for Legacy Software. ![Search on Bibsonomy](Pics/bibsonomy.png) |
AST ![In: Proceedings of the 2006 International Workshop on Automation of Software Test, AST 2006, Shanghai, China, May 23, 2006., pp. 104-110, 2006, ACM, 1-59593-408-1. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
|
21 | Zhen Ru Dai |
An approach to model-driven testing: functional and real-time testing with UML 2.0, U2TP and TTCN-3. ![Search on Bibsonomy](Pics/bibsonomy.png) |
|
2006 |
RDF |
|
21 | Ina Schieferdecker, Theofanis Vassiliou-Gioles |
Tool Supported Test Frameworks in TTCN-3. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FMICS ![In: Eighth International Workshop on Formal Methods for Industrial Critical Systems, FMICS 2003, Roros, Norway, June 5-7, 2003, pp. 251-260, 2003, Elsevier. The full citation details ...](Pics/full.jpeg) |
2003 |
DBLP DOI BibTeX RDF |
|
21 | Jens Grabowski, Dieter Hogrefe, György Réthy, Ina Schieferdecker, Anthony Wiles, Colin Willcock |
An introduction to the testing and test control notation (TTCN-3). ![Search on Bibsonomy](Pics/bibsonomy.png) |
Comput. Networks ![In: Comput. Networks 42(3), pp. 375-403, 2003. The full citation details ...](Pics/full.jpeg) |
2003 |
DBLP DOI BibTeX RDF |
|
21 | Michael Ebner, Aihong Yin, Mang Li |
A Definition and Utilization of OMG IDL to TTCN-3 Mappings. ![Search on Bibsonomy](Pics/bibsonomy.png) |
TestCom ![In: Testing of Communicating Systems XIV, Applications to Internet Technologies and Services, Proceedings of the IFIP 14th International Conference on Testing Communicating Systems - TestCom 2002, Berlin, Germany, March 19-22, 2002, pp. 443-, 2002, Kluwer, 0-7923-7695-1. The full citation details ...](Pics/full.jpeg) |
2002 |
DBLP BibTeX RDF |
|
21 | Stephan Schulz 0002, Theofanis Vassiliou-Gioles |
Implementation of TTCN-3 Test Systems using the TRI. ![Search on Bibsonomy](Pics/bibsonomy.png) |
TestCom ![In: Testing of Communicating Systems XIV, Applications to Internet Technologies and Services, Proceedings of the IFIP 14th International Conference on Testing Communicating Systems - TestCom 2002, Berlin, Germany, March 19-22, 2002, pp. 425-442, 2002, Kluwer, 0-7923-7695-1. The full citation details ...](Pics/full.jpeg) |
2002 |
DBLP BibTeX RDF |
|
21 | János Zoltán Szabó |
Experiences of TTCN-3 Test Executor Development. ![Search on Bibsonomy](Pics/bibsonomy.png) |
TestCom ![In: Testing of Communicating Systems XIV, Applications to Internet Technologies and Services, Proceedings of the IFIP 14th International Conference on Testing Communicating Systems - TestCom 2002, Berlin, Germany, March 19-22, 2002, pp. 191-200, 2002, Kluwer, 0-7923-7695-1. The full citation details ...](Pics/full.jpeg) |
2002 |
DBLP BibTeX RDF |
|
21 | Wolfgang Sachse |
Position Statement: Making TTCN-3 testing a success. ![Search on Bibsonomy](Pics/bibsonomy.png) |
TestCom ![In: Testing of Communicating Systems XIV, Applications to Internet Technologies and Services, Proceedings of the IFIP 14th International Conference on Testing Communicating Systems - TestCom 2002, Berlin, Germany, March 19-22, 2002, pp. 201-208, 2002, Kluwer, 0-7923-7695-1. The full citation details ...](Pics/full.jpeg) |
2002 |
DBLP BibTeX RDF |
|
21 | Ina Schieferdecker, Jens Grabowski |
The Graphical Format of TTCN-3 in the Context of MSC and UML. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SAM ![In: Telecommunications and beyond: The Broader Applicability of SDL and MSC, Third International Workshop, SAM 2002, Aberystwyth, UK, June 24-26, 2002. Revised Papers, pp. 233-252, 2002, Springer, 3-540-00877-2. The full citation details ...](Pics/full.jpeg) |
2002 |
DBLP DOI BibTeX RDF |
|
21 | Robert L. Probert, Hasan Ural, Alan W. Williams |
Rapid generation of functional tests using MSCs, SDL and TTCN. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Comput. Commun. ![In: Comput. Commun. 24(3-4), pp. 374-393, 2001. The full citation details ...](Pics/full.jpeg) |
2001 |
DBLP DOI BibTeX RDF |
|
21 | Xia Yin, Yixin Zhao, Jianping Wu |
IntegTTCN, a TTCN language extension for protocol integrated testing. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICC ![In: IEEE International Conference on Communications, ICC 2001, June 11-14, Helsinki, Finland, pp. 2063-2067, 2001, IEEE, 0-7803-7097-X. The full citation details ...](Pics/full.jpeg) |
2001 |
DBLP DOI BibTeX RDF |
|
21 | Endre Horváth, Axel Manthey |
Functional Testing GPRS Support Nodes Using TTCN. ![Search on Bibsonomy](Pics/bibsonomy.png) |
TestCom ![In: Testing of Communicating Systems: Tools and Techniques, IFIP TC6/WG6.1 13th International Conference on Testing Communicating Systems (TestCom 2000), August 29 - September 1, 2000, Ottawa, Canada, pp. 229-238, 2000, Kluwer, 0-7923-7921-7. The full citation details ...](Pics/full.jpeg) |
2000 |
DBLP BibTeX RDF |
|
21 | Jens Grabowski, Anthony Wiles, Colin Willcock, Dieter Hogrefe |
On the Design of the New Testing Language TTCN-3. ![Search on Bibsonomy](Pics/bibsonomy.png) |
TestCom ![In: Testing of Communicating Systems: Tools and Techniques, IFIP TC6/WG6.1 13th International Conference on Testing Communicating Systems (TestCom 2000), August 29 - September 1, 2000, Ottawa, Canada, pp. 161-176, 2000, Kluwer, 0-7923-7921-7. The full citation details ...](Pics/full.jpeg) |
2000 |
DBLP BibTeX RDF |
|
21 | Roland Gecse, Péter Krémer, János Zoltán Szabó |
HTTP Performance Evaluation with TTCN. ![Search on Bibsonomy](Pics/bibsonomy.png) |
TestCom ![In: Testing of Communicating Systems: Tools and Techniques, IFIP TC6/WG6.1 13th International Conference on Testing Communicating Systems (TestCom 2000), August 29 - September 1, 2000, Ottawa, Canada, pp. 177-192, 2000, Kluwer, 0-7923-7921-7. The full citation details ...](Pics/full.jpeg) |
2000 |
DBLP BibTeX RDF |
|
21 | Alexey Mednonogov, Hannu H. Kari, Olli Martikainen, Jari Malinen |
Conformance Testing of CORBA Services Using TTCN. ![Search on Bibsonomy](Pics/bibsonomy.png) |
TestCom ![In: Testing of Communicating Systems: Tools and Techniques, IFIP TC6/WG6.1 13th International Conference on Testing Communicating Systems (TestCom 2000), August 29 - September 1, 2000, Ottawa, Canada, pp. 193-, 2000, Kluwer, 0-7923-7921-7. The full citation details ...](Pics/full.jpeg) |
2000 |
DBLP BibTeX RDF |
|
21 | Ekkart Rudolph, Ina Schieferdecker, Jens Grabowski |
HyperMSC - a Graphical Representation of TTCN. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SAM ![In: SAM 2000, 2nd Workshop on SDL and MSC, Col de Porte, Grenoble, France, June 26-28, 2000, pp. 76-, 2000, VERIMAG, IRISA, SDL Forum. The full citation details ...](Pics/full.jpeg) |
2000 |
DBLP BibTeX RDF |
|
21 | Jun Bi, Jianping Wu |
An approach to concurrent TTCN test generation. ![Search on Bibsonomy](Pics/bibsonomy.png) |
J. Comput. Sci. Technol. ![In: J. Comput. Sci. Technol. 14(6), pp. 614-618, 1999. The full citation details ...](Pics/full.jpeg) |
1999 |
DBLP DOI BibTeX RDF |
|
21 | Jens Grabowski, Dieter Hogrefe |
Towards the Third Edition of TTCN. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IWTCS ![In: Testing of Communicating Systems: Method and Applications, IFIP TC6 12th International Workshop on Testing Communicating Systems, September 1-3, 1999, Budapest, Hungary, pp. 19-30, 1999, Kluwer, 0-7923-8581-0. The full citation details ...](Pics/full.jpeg) |
1999 |
DBLP BibTeX RDF |
|
21 | Jianping Wu, Jianguo Wang |
Internet protocol conformance testing by using a TTCN based protocol integrated test system. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICC ![In: 1999 IEEE International Conference on Communications: Global Convergence Through Communications, ICC 1999, Vancouver, BC, Canada, June 18-22, 1999, pp. 646-650, 1999, IEEE, 0-7803-5284-X. The full citation details ...](Pics/full.jpeg) |
1999 |
DBLP DOI BibTeX RDF |
|
21 | M. Anlauf |
Programming Service Tests with TTCN. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IWTCS ![In: Testing of Communicating Systems, IFIP TC6 11th International Workshop on Testing Communicating Systems (IWTCS), August 31 - September 2, 1998, Tomsk, Russia, pp. 259-274, 1998, Kluwer, 0-412-84430-3. The full citation details ...](Pics/full.jpeg) |
1998 |
DBLP BibTeX RDF |
|
21 | Sangki Kim, Hyunjoo Bae, Kyungpyo Jun |
A formal TTCN-based protocol testing for intelligent network. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ISCC ![In: Proceedings of the Third IEEE Symposium on Computers and Communications (ISCC 1998), June 30 - July 2, 1998, Athens, Greece, pp. 205-209, 1998, IEEE Computer Society, 0-8186-8538-7. The full citation details ...](Pics/full.jpeg) |
1998 |
DBLP DOI BibTeX RDF |
|
21 | Mingwei Xu, Jianping Wu |
An Extension to Concurrent TTCN. ![Search on Bibsonomy](Pics/bibsonomy.png) |
INFOCOM ![In: Proceedings IEEE INFOCOM '98, The Conference on Computer Communications, Seventeenth Annual Joint Conference of the IEEE Computer and Communications Societies, Gateway to the 21st Century, San Francisco, CA, USA, March 29 - April 2, 1998, pp. 447-454, 1998, IEEE Computer Society, 0-7803-4383-2. The full citation details ...](Pics/full.jpeg) |
1998 |
DBLP DOI BibTeX RDF |
|
21 | Thomas Walter, Jens Grabowski |
Test Case Specification with Real-time TTCN. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FBT ![In: Formale Beschreibungstechniken für verteilte Systeme, GI/ITG-Fachgespräch, Berlin, 19.-20. Juni 1997, pp. 231-240, 1997, GMD-Forschungszentrum Informationstechnik GmbH, 3-88457-315-2. The full citation details ...](Pics/full.jpeg) |
1997 |
DBLP BibTeX RDF |
|
21 | Ruibing Hao, Jianping Wu |
Toward Formal TTCN-Based Test Execution. ![Search on Bibsonomy](Pics/bibsonomy.png) |
INFOCOM ![In: Proceedings IEEE INFOCOM '97, The Conference on Computer Communications, Sixteenth Annual Joint Conference of the IEEE Computer and Communications Societies, Driving the Information Revolution, Kobe, Japan, April 7-12, 1997, pp. 230-235, 1997, IEEE Computer Society, 0-8186-7780-5. The full citation details ...](Pics/full.jpeg) |
1997 |
DBLP DOI BibTeX RDF |
|
21 | Thomas Walter, Jens Grabowski |
A Proposal for a Real-Time Extension of TTCN. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Kommunikation in Verteilten Systemen ![In: Kommunikation in Verteilten Systemen, GI/ITG-Fachtagung, Braunschweig 19.-21. Februar 1997, pp. 182-196, 1997, Springer, 3-540-62565-8. The full citation details ...](Pics/full.jpeg) |
1997 |
DBLP DOI BibTeX RDF |
|
21 | Finn Kristoffersen, Thomas Walter 0001 |
TTCN: Towards a Formal Semantics and Validation of Test Suites. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Comput. Networks ISDN Syst. ![In: Comput. Networks ISDN Syst. 29(1), pp. 15-47, 1996. The full citation details ...](Pics/full.jpeg) |
1996 |
DBLP DOI BibTeX RDF |
|
21 | Eurico Inocêncio, Manuel Ricardo 0001, Hitoshi Sato, Toshimitsu Kashima |
Combined Application of SDL-92, OMT, MSC and TTCN. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FORTE ![In: Formal Description Techniques IX: Theory, application and tools, IFIP TC6 WG6.1 International Conference on Formal Description Techniques IX / Protocol Specification, Testing and Verification XVI, Kaiserslautern, Germany, 8-11 October 1996, pp. 451-466, 1996, Chapman & Hall, 0-412-79490-X. The full citation details ...](Pics/full.jpeg) |
1996 |
DBLP BibTeX RDF |
|
21 | Maria Törö, Katalin Tarnay |
Principles for validation of abstract test suites specified in concurrent TTCN. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PSTV ![In: Protocol Specification, Testing and Verification XV, Proceedings of the Fifteenth IFIP WG6.1 International Symposium on Protocol Specification, Testing and Verification, Warsaw, Poland, June 1995, pp. 105-120, 1995, Chapman & Hall, 0-412-71620-8. The full citation details ...](Pics/full.jpeg) |
1995 |
DBLP BibTeX RDF |
|
21 | |
ITEX-DE: A TTCN Development Environment. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FTRTFT ![In: Formal Techniques in Real-Time and Fault-Tolerant Systems, Third International Symposium Organized Jointly with the Working Group Provably Correct Systems - ProCoS, Lübeck, Germany, September 19-23, Proceedings, pp. 784, 1994, Springer, 3-540-58468-4. The full citation details ...](Pics/full.jpeg) |
1994 |
DBLP BibTeX RDF |
|
21 | Ari Ahtiainen, Bruno Chatras, Marc W. A. Hornbeek, Sami Kesti |
Experiences with Octopus Automated TTCN Translation Tools Applied to GSM/SS7. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Protocol Test Systems ![In: Protocol Test Systems, VI, Proceedings of the IFIP TC6/WG6.1 Sixth International Workshop on Protocol Test systems, Pau, France, 28-30 September, 1993, pp. 231-253, 1993, North-Holland, 0-444-81697-6. The full citation details ...](Pics/full.jpeg) |
1993 |
DBLP BibTeX RDF |
|
21 | Robert L. Probert, Ostap Monkewich |
TTCN: The International Notation for Specifying Tests of Communcations Systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Comput. Networks ISDN Syst. ![In: Comput. Networks ISDN Syst. 23(5), pp. 417-438, 1992. The full citation details ...](Pics/full.jpeg) |
1992 |
DBLP DOI BibTeX RDF |
|
21 | Thomas Walter, Bernhard Plattner |
An Operational Semantics for Concurrent TTCN. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Protocol Test Systems ![In: Protocol Test Systems, V, Proceedings of the IFIP TC6/WG6.1 Fifth International Workshop on Protocol Test Systems, Montreal, Quebec, Canada, 28-30 September, 1992, pp. 131-143, 1992, North-Holland, 0-444-89980-4. The full citation details ...](Pics/full.jpeg) |
1992 |
DBLP BibTeX RDF |
|
21 | Udo Bär, Jürgen M. Schneider |
Automated Validation of TTCN Test Suites. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PSTV ![In: Protocol Specification, Testing and Verification XII, Proceedings of the IFIP TC6/WG6.1 Twelth International Symposium on Protocol Specification, Testing and Verification, Lake Buena Vista, Florida, USA, 22-25 June 1992, pp. 279-295, 1992, North-Holland, 0-444-89874-3. The full citation details ...](Pics/full.jpeg) |
1992 |
DBLP BibTeX RDF |
|
21 | Thomas Walter 0001, Jan Ellsberger, Finn Kristoffersen, Paul van den Merkhof |
A Common Semantics Representation for SDL and TTCN. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PSTV ![In: Protocol Specification, Testing and Verification XII, Proceedings of the IFIP TC6/WG6.1 Twelth International Symposium on Protocol Specification, Testing and Verification, Lake Buena Vista, Florida, USA, 22-25 June 1992, pp. 335-346, 1992, North-Holland, 0-444-89874-3. The full citation details ...](Pics/full.jpeg) |
1992 |
DBLP BibTeX RDF |
|
21 | R. J. Heijnk |
Session on TTCN Compilers. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Protocol Test Systems ![In: Protocol Test Systems, IV, Proceedings of the IFIP TC6/WG6.1 Fourth International Workshop on Protocol Test Systems, Leidschendam, The Netherlands, 15-17 October, 1991, pp. 295, 1991, North-Holland, 0-444-89517-5. The full citation details ...](Pics/full.jpeg) |
1991 |
DBLP BibTeX RDF |
|
21 | Udo Bär, Martin Strecker, Willi Stoll, Wolfgang Effelsberg |
Presentation Layer Conformance Testing with TTCN. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PSTV ![In: Protocol Specification, Testing and Verification XI, Proceedings of the IFIP WG6.1 International Symposium on Protocol Specification, Testing and Verification, Stockholm, Sweden, 18-20 June 1991, pp. 283-298, 1991, North-Holland, 0-444-89210-9. The full citation details ...](Pics/full.jpeg) |
1991 |
DBLP BibTeX RDF |
|
21 | E. Stöveken, H. Zischler |
TTCN - Das aktuelle Schlagwort. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Inform. Spektrum ![In: Inform. Spektrum 13(2), pp. 98-100, 1990. The full citation details ...](Pics/full.jpeg) |
1990 |
DBLP BibTeX RDF |
|
21 | Srinivas Eswara, Tom Berriman, Philip VanHoutte, Behçet Sarikaya |
Towards execution of TTCN test cases. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PSTV ![In: Protocol Specification, Testing and Verification X, Proceedings of the IFIP WG6.1 Tenth International Symposium on Protocol Specification, Testing and Verification, Ottawa, Ontario, Canada, 12-15 June, 1990, pp. 99-112, 1990, North-Holland, 0-444-88810-1. The full citation details ...](Pics/full.jpeg) |
1990 |
DBLP BibTeX RDF |
|
21 | Martin Dubuc, Gregor von Bochmann, O. Bellal, F. Saba |
Translation from TTCN to LOTOS and the Validation of Test Cases. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FORTE ![In: Formal Description Techniques, III, Proceedings of the IFIP TC6/WG6.1 Third International Conference on Formal Description Techniques for Distributed Systems and Communication Protocols, FORTE '90, Madrid, Spain, 5-8 November 1990, pp. 141-155, 1990, North-Holland, 0-444-89024-6. The full citation details ...](Pics/full.jpeg) |
1990 |
DBLP BibTeX RDF |
|
20 | Diana Elena Vega |
Towards an Automated and Dynamically Adaptable Test System for Testing Healthcare Information Systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICST ![In: Third International Conference on Software Testing, Verification and Validation, ICST 2010, Paris, France, April 7-9, 2010, pp. 331-334, 2010, IEEE Computer Society, 978-0-7695-3990-4. The full citation details ...](Pics/full.jpeg) |
2010 |
DBLP DOI BibTeX RDF |
Testing, eHealth, TTCN-3, HL7, HIS |
20 | Andrey Sadovykh, Lionel Vigier, Eduardo Gomez, Andreas Hoffmann 0001, Juergen Grossmann, Oleg Estekhin |
On Study Results: Round Trip Engineering of Space Systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ECMDA-FA ![In: Model Driven Architecture - Foundations and Applications, 5th European Conference, ECMDA-FA 2009, Enschede, The Netherlands, June 23-26, 2009. Proceedings, pp. 265-276, 2009, Springer, 978-3-642-02673-7. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
M2M, PSM2PIM, U2TP, model mining, model metrication, MDA, model-based testing, TTCN-3, ADM, round trip engineering |
20 | Dieter Hogrefe |
Main issues in protocol testing. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Int. J. Softw. Tools Technol. Transf. ![In: Int. J. Softw. Tools Technol. Transf. 4(4), pp. 397-400, 2003. The full citation details ...](Pics/full.jpeg) |
2003 |
DBLP DOI BibTeX RDF |
IPv6, SDL, MSC, Protocol testing, TTCN |
20 | V. V. Ostapenko |
Test Selection Based on Implementation Specification. ![Search on Bibsonomy](Pics/bibsonomy.png) |
EUROMICRO ![In: 24th EUROMICRO '98 Conference, Engineering Systems and Software for the Next Decade, 25-27 August 1998, Vesteras, Sweden, pp. 20845-, 1998, IEEE Computer Society, 0-8186-8646-4. The full citation details ...](Pics/full.jpeg) |
1998 |
DBLP DOI BibTeX RDF |
Conformance testing, Test selection, PICS, TTCN |
14 | George Din, Ina Schieferdecker, Razvan Petre |
Performance Test Design Process and Its Implementation Patterns for Multi-services Systems. ![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. 135-152, 2008, Springer, 978-3-540-68514-2. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
|
14 | Ji Wu 0003, Liu Yang, Xu Luo |
Jata: A Language for Distributed Component Testing. ![Search on Bibsonomy](Pics/bibsonomy.png) |
APSEC ![In: 15th Asia-Pacific Software Engineering Conference (APSEC 2008), 3-5 December 2008, Beijing, China, pp. 145-152, 2008, IEEE Computer Society, 978-0-7695-3446-6. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
|
14 | Chuanming Jing, Xia Yin, Zhiliang Wang, Jianping Wu |
A Formal Approach to Robustness Testing of Network Protocol with Time Constraints. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICYCS ![In: Proceedings of the 9th International Conference for Young Computer Scientists, ICYCS 2008, Zhang Jia Jie, Hunan, China, November 18-21, 2008, pp. 2168-2174, 2008, IEEE Computer Society, 978-0-7695-3398-8. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
|
14 | Yi-Bing Lin, Ching-Feng Liang, Kuei-Hui Chen, Hsin-Yu Liao |
NTP-SIOT: A test tool for advanced mobile services. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Netw. ![In: IEEE Netw. 21(1), pp. 21-26, 2007. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
|
14 | Tamás Horváth 0004, Tibor Sulyán |
A Framework for Testing AIS Implementations. ![Search on Bibsonomy](Pics/bibsonomy.png) |
TestCom/FATES ![In: Testing of Software and Communicating Systems, 19th IFIP TC6/WG6.1 International Conference, TestCom 2007, 7th International Workshop, FATES 2007, Tallinn, Estonia, June 26-29, 2007, Proceedings, pp. 186-198, 2007, Springer, 978-3-540-73065-1. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
Application Interface Specification (AIS), Conformance Testing, Functional Testing, Service Availability |
14 | Fares Saad-Khorchef, Antoine Rollet, Richard Castanet |
A framework and a tool for robustness testing of communicating software. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SAC ![In: Proceedings of the 2007 ACM Symposium on Applied Computing (SAC), Seoul, Korea, March 11-15, 2007, pp. 1461-1466, 2007, ACM, 1-59593-480-4. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
IOLTS, TCP protocol, robustness testing, formal testing |
14 | Slawomir Zielski, Janusz Sosnowski |
The SCSI interface conformance tests generation. ![Search on Bibsonomy](Pics/bibsonomy.png) |
DepCoS-RELCOMEX ![In: 2007 International Conference on Dependability of Computer Systems (DepCoS-RELCOMEX 2007), June 14-16, 2007, Szklarska Poreba, Poland, pp. 360-367, 2007, IEEE Computer Society, 0-7695-2850-3. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
|
14 | Samrat S. Batth, Elisangela Rodrigues Vieira, Ana R. Cavalli, M. Ümit Uyar |
Specification of Timed EFSM Fault Models in SDL. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FORTE ![In: Formal Techniques for Networked and Distributed Systems - FORTE 2007, 27th IFIP WG 6.1 International Conference, Tallinn, Estonia, June 27-29, 2007, Proceedings, pp. 50-65, 2007, Springer, 978-3-540-73195-5. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
Timing Fault Models, Hit-or-Jump, SDL, Extended Finite State Machines |
14 | Francine Ngani Noudem, César Viho |
Modeling, Verifying and Testing Mobility Protocol from SDL Language. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SDL Forum ![In: SDL 2005: Model Driven, 12th International SDL Forum, Grimstad, Norway, June 20-23, 2005, Proceedings, pp. 198-209, 2005, Springer, 3-540-26612-7. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
|
14 | |
Part V. Standardized Test Notation and Execution Architecture. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Model-Based Testing of Reactive Systems ![In: Model-Based Testing of Reactive Systems, Advanced Lectures [The volume is the outcome of a research seminar that was held in Schloss Dagstuhl in January 2004], pp. 463-463, 2004, Springer, 3-540-26278-4. The full citation details ...](Pics/full.jpeg) |
2004 |
DBLP DOI BibTeX RDF |
|
14 | Mikko Karinsalo, Pekka Abrahamsson |
Software Reuse and the Test Development Process: A Combined Approach. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICSR ![In: Software Reuse: Methods, Techniques and Tools: 8th International Conference, ICSR 2004, Madrid, Spain, July 5-9, 2009. Proceedings, pp. 59-68, 2004, Springer, 3-540-22335-5. The full citation details ...](Pics/full.jpeg) |
2004 |
DBLP DOI BibTeX RDF |
|
14 | Abdeslam En-Nouaary, Rachida Dssouli |
A Guided Method for Testing Timed Input Output Automata. ![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. 211-225, 2003, Springer, 3-540-40123-7. The full citation details ...](Pics/full.jpeg) |
2003 |
DBLP DOI BibTeX RDF |
Timed Input Output Automata, Real-Time Systems, Testing, Test Purposes |
14 | Sarolta Dibuz, Péter Krémer |
Framework and Model for Automated Interoperability Test and Its Application to ROHC. ![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. 243-257, 2003, Springer, 3-540-40123-7. The full citation details ...](Pics/full.jpeg) |
2003 |
DBLP DOI BibTeX RDF |
|
14 | Sita Ramakrishnan |
VISWAS and on Diagnosability with IEEE Std P1522 and UML2.0 Testing Profile. ![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. 236-251, 2003, Springer, 3-540-20894-1. The full citation details ...](Pics/full.jpeg) |
2003 |
DBLP DOI BibTeX RDF |
|
14 | Benoit Parreaux, Daniel Vincent, Gérard Babonneau |
RMTP2: Validating the Interval Timed Extension for SDL with an Industrial-Size Multicast Protocol. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SDL Forum ![In: SDL 2003: System Design, 11th International SDL Forum, Stuttgart, Germany, July 1-4, 2003. Proceedings, pp. 218-233, 2003, Springer. The full citation details ...](Pics/full.jpeg) |
2003 |
DBLP DOI BibTeX RDF |
|