Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
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 | 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 | 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 |
|
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 |
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 | 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 | 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 |
|