Search results for "TTCN"

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.	MCETECH	2015	DBLP DOI BibTeX RDF
21	Yongzheng Liang	OCCI and TTCN-3 - Towards a Standardized Cloud Quality Assessment Framework.	CLOSER	2015	DBLP DOI BibTeX RDF
21	Mohammad Shahrad, Mahdi Shabany	TTCN: A new approach for low-power split-row LDPC decoders.	ISCAS	2015	DBLP DOI BibTeX RDF
21	Bernard Stepien, Kavya Mallur, Liam Peyton	Testing Business Processes Using TTCN-3.	SDL Forum	2015	DBLP DOI BibTeX RDF
21	Yassine El Amrani, Hans W. Nissen	Eine Testautomatisierung fur Roboter-Steuerprogramme auf Android unter Verwendung von TTCN-3.	Softwaretechnik-Trends	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.	Int. J. Electron. Bus.	2014	DBLP DOI BibTeX RDF
21	Philip Makedonski, Jens Grabowski, Florian Philipp	Quantifying the evolution of TTCN-3 as a language.	Int. J. Softw. Tools Technol. Transf.	2014	DBLP DOI BibTeX RDF
21	Bernard Stepien, Liam Peyton	Innovation and evolution in integrated web application testing with TTCN-3.	Int. J. Softw. Tools Technol. Transf.	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.	ISCTCS	2014	DBLP DOI BibTeX RDF
21	Sumei Zhang, Hua Li, Yu Xue, Xianrong Wang	Using TTCN-3 to Test SPDY Protocol Interaction Property.	COMPSAC Workshops	2014	DBLP DOI BibTeX RDF
21	Bernard Stepien, Liam Peyton	Challenges of Testing Periodic Messages in Avionics Systems Using TTCN-3.	ICTSS	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.	NordiCloud	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.	SDL Forum	2013	DBLP DOI BibTeX RDF
21	Fatang Chen, Gang Zhou	RRM conformance testing in TD-LTE system based on TTCN-3.	ICIA	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.	BIC-TA	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.	ICTSS	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.	ICCVE	2012	DBLP DOI BibTeX RDF
21	Bernard Stepien, Pulei Xiong, Liam Peyton	A Systematic Approach to Web Application Penetration Testing Using TTCN-3.	MCETECH	2011	DBLP DOI BibTeX RDF
21	Li Zhou, Xia Yin, Zhiliang Wang	Protocol Security Testing with SPIN and TTCN-3.	ICST Workshops	2011	DBLP DOI BibTeX RDF
21	Zuk Berisha	Erweiterung einer TTCN-3 SIP Testinfrastruktur zum Testen von RTP Datenströmen.	Informatiktage	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.	SDL Forum	2011	DBLP DOI BibTeX RDF
21	Barath Kumar, Bjoern Czybik, Jürgen Jasperneite	Model based TTCN-3 testing of industrial automation systems - First results.	ETFA	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.	Softwaretechnik-Trends	2010	DBLP BibTeX RDF
21	Ina Schieferdecker	Test Automation with TTCN-3 - State of the Art and a Future Perspective.	ICTSS	2010	DBLP DOI BibTeX RDF
21	Zbigniew Lukasik, Waldemar Nowakowski	Application of TTCN-3 for Testing of Railway Interlocking Systems.	TST	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.	ICST	2009	DBLP DOI BibTeX RDF
21	Juergen Grossmann, Diana Alina Serbanescu, Ina Schieferdecker	Testing Embedded Real Time Systems with TTCN-3.	ICST	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.	FGIT-ASEA	2009	DBLP DOI BibTeX RDF
21	Yang Xiang, Zhiliang Wang, Xia Yin	SIP Robustness Testing Based on TTCN-3.	AINA Workshops	2009	DBLP DOI BibTeX RDF
21	Luo Xu, Ji Wu 0003, Chao Liu 0002	T3FAH: A TTCN-3 Based Fuzzer with Attack Heuristics.	CSIE (7)	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.	Int. J. Softw. Tools Technol. Transf.	2008	DBLP DOI BibTeX RDF
21	Helmut Neukirchen, Benjamin Zeiss, Jens Grabowski, Paul Baker, Dominic Evans	Quality assurance for TTCN-3 test specifications.	Softw. Test. Verification Reliab.	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.	Softw. Test. Verification Reliab.	2008	DBLP DOI BibTeX RDF
21	Winfried Dulz	On-the-Fly Testing by Using an Executable TTCN-3 Markov Chain Usage Model.	ENASE (Selected Papers)	2008	DBLP DOI BibTeX RDF
21	Winfried Dulz	On-the-fly Interpretation of Test Cases in an Automatically Generated TTCN-3 Test Suite.	ENASE	2008	DBLP BibTeX RDF
21	Edith Werner, Jens Grabowski, Stefan Troschütz, Benjamin Zeiss	A TTCN-3-based Web Service Test Framework.	Software Engineering (Workshops)	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.	Software Engineering	2007	DBLP BibTeX RDF
21	Jens Bräuer, Henning Kleinwechter, Andreas Leicher	µTTCN - an approach to continuous signals in TTCN-3.	Software Engineering (Workshops)	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.	IESA	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.	TRIDENTCOM	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.	GI Jahrestagung (2)	2006	DBLP BibTeX RDF
21	Jens R. Calamé, Natalia Ioustinova, Jaco van de Pol	Automatisierte Erzeugung von TTCN-3 Testfiällen aus UML-Modellen.	GI Jahrestagung (2)	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.	AST	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.		2006	RDF
21	Ina Schieferdecker, Theofanis Vassiliou-Gioles	Tool Supported Test Frameworks in TTCN-3.	FMICS	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).	Comput. Networks	2003	DBLP DOI BibTeX RDF
21	Michael Ebner, Aihong Yin, Mang Li	A Definition and Utilization of OMG IDL to TTCN-3 Mappings.	TestCom	2002	DBLP BibTeX RDF
21	Stephan Schulz 0002, Theofanis Vassiliou-Gioles	Implementation of TTCN-3 Test Systems using the TRI.	TestCom	2002	DBLP BibTeX RDF
21	János Zoltán Szabó	Experiences of TTCN-3 Test Executor Development.	TestCom	2002	DBLP BibTeX RDF
21	Wolfgang Sachse	Position Statement: Making TTCN-3 testing a success.	TestCom	2002	DBLP BibTeX RDF
21	Ina Schieferdecker, Jens Grabowski	The Graphical Format of TTCN-3 in the Context of MSC and UML.	SAM	2002	DBLP DOI BibTeX RDF
21	Robert L. Probert, Hasan Ural, Alan W. Williams	Rapid generation of functional tests using MSCs, SDL and TTCN.	Comput. Commun.	2001	DBLP DOI BibTeX RDF
21	Xia Yin, Yixin Zhao, Jianping Wu	IntegTTCN, a TTCN language extension for protocol integrated testing.	ICC	2001	DBLP DOI BibTeX RDF
21	Endre Horváth, Axel Manthey	Functional Testing GPRS Support Nodes Using TTCN.	TestCom	2000	DBLP BibTeX RDF
21	Jens Grabowski, Anthony Wiles, Colin Willcock, Dieter Hogrefe	On the Design of the New Testing Language TTCN-3.	TestCom	2000	DBLP BibTeX RDF
21	Roland Gecse, Péter Krémer, János Zoltán Szabó	HTTP Performance Evaluation with TTCN.	TestCom	2000	DBLP BibTeX RDF
21	Alexey Mednonogov, Hannu H. Kari, Olli Martikainen, Jari Malinen	Conformance Testing of CORBA Services Using TTCN.	TestCom	2000	DBLP BibTeX RDF
21	Ekkart Rudolph, Ina Schieferdecker, Jens Grabowski	HyperMSC - a Graphical Representation of TTCN.	SAM	2000	DBLP BibTeX RDF
21	Jun Bi, Jianping Wu	An approach to concurrent TTCN test generation.	J. Comput. Sci. Technol.	1999	DBLP DOI BibTeX RDF
21	Jens Grabowski, Dieter Hogrefe	Towards the Third Edition of TTCN.	IWTCS	1999	DBLP BibTeX RDF
21	Jianping Wu, Jianguo Wang	Internet protocol conformance testing by using a TTCN based protocol integrated test system.	ICC	1999	DBLP DOI BibTeX RDF
21	M. Anlauf	Programming Service Tests with TTCN.	IWTCS	1998	DBLP BibTeX RDF
21	Sangki Kim, Hyunjoo Bae, Kyungpyo Jun	A formal TTCN-based protocol testing for intelligent network.	ISCC	1998	DBLP DOI BibTeX RDF
21	Mingwei Xu, Jianping Wu	An Extension to Concurrent TTCN.	INFOCOM	1998	DBLP DOI BibTeX RDF
21	Thomas Walter, Jens Grabowski	Test Case Specification with Real-time TTCN.	FBT	1997	DBLP BibTeX RDF
21	Ruibing Hao, Jianping Wu	Toward Formal TTCN-Based Test Execution.	INFOCOM	1997	DBLP DOI BibTeX RDF
21	Thomas Walter, Jens Grabowski	A Proposal for a Real-Time Extension of TTCN.	Kommunikation in Verteilten Systemen	1997	DBLP DOI BibTeX RDF
21	Finn Kristoffersen, Thomas Walter 0001	TTCN: Towards a Formal Semantics and Validation of Test Suites.	Comput. Networks ISDN Syst.	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.	FORTE	1996	DBLP BibTeX RDF
21	Maria Törö, Katalin Tarnay	Principles for validation of abstract test suites specified in concurrent TTCN.	PSTV	1995	DBLP BibTeX RDF
21		ITEX-DE: A TTCN Development Environment.	FTRTFT	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.	Protocol Test Systems	1993	DBLP BibTeX RDF
21	Robert L. Probert, Ostap Monkewich	TTCN: The International Notation for Specifying Tests of Communcations Systems.	Comput. Networks ISDN Syst.	1992	DBLP DOI BibTeX RDF
21	Thomas Walter, Bernhard Plattner	An Operational Semantics for Concurrent TTCN.	Protocol Test Systems	1992	DBLP BibTeX RDF
21	Udo Bär, Jürgen M. Schneider	Automated Validation of TTCN Test Suites.	PSTV	1992	DBLP BibTeX RDF
21	Thomas Walter 0001, Jan Ellsberger, Finn Kristoffersen, Paul van den Merkhof	A Common Semantics Representation for SDL and TTCN.	PSTV	1992	DBLP BibTeX RDF
21	R. J. Heijnk	Session on TTCN Compilers.	Protocol Test Systems	1991	DBLP BibTeX RDF
21	Udo Bär, Martin Strecker, Willi Stoll, Wolfgang Effelsberg	Presentation Layer Conformance Testing with TTCN.	PSTV	1991	DBLP BibTeX RDF
21	E. Stöveken, H. Zischler	TTCN - Das aktuelle Schlagwort.	Inform. Spektrum	1990	DBLP BibTeX RDF
21	Srinivas Eswara, Tom Berriman, Philip VanHoutte, Behçet Sarikaya	Towards execution of TTCN test cases.	PSTV	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.	FORTE	1990	DBLP BibTeX RDF
20	Diana Elena Vega	Towards an Automated and Dynamically Adaptable Test System for Testing Healthcare Information Systems.	ICST	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.	ECMDA-FA	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.	Int. J. Softw. Tools Technol. Transf.	2003	DBLP DOI BibTeX RDF	IPv6, SDL, MSC, Protocol testing, TTCN
20	V. V. Ostapenko	Test Selection Based on Implementation Specification.	EUROMICRO	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.	TestCom/FATES	2008	DBLP DOI BibTeX RDF
14	Ji Wu 0003, Liu Yang, Xu Luo	Jata: A Language for Distributed Component Testing.	APSEC	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.	ICYCS	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.	IEEE Netw.	2007	DBLP DOI BibTeX RDF
14	Tamás Horváth 0004, Tibor Sulyán	A Framework for Testing AIS Implementations.	TestCom/FATES	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.	SAC	2007	DBLP DOI BibTeX RDF	IOLTS, TCP protocol, robustness testing, formal testing
14	Slawomir Zielski, Janusz Sosnowski	The SCSI interface conformance tests generation.	DepCoS-RELCOMEX	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.	FORTE	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.	SDL Forum	2005	DBLP DOI BibTeX RDF
14		Part V. Standardized Test Notation and Execution Architecture.	Model-Based Testing of Reactive Systems	2004	DBLP DOI BibTeX RDF
14	Mikko Karinsalo, Pekka Abrahamsson	Software Reuse and the Test Development Process: A Combined Approach.	ICSR	2004	DBLP DOI BibTeX RDF
14	Abdeslam En-Nouaary, Rachida Dssouli	A Guided Method for Testing Timed Input Output Automata.	TestCom	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.	TestCom	2003	DBLP DOI BibTeX RDF
14	Sita Ramakrishnan	VISWAS and on Diagnosability with IEEE Std P1522 and UML2.0 Testing Profile.	FATES	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.	SDL Forum	2003	DBLP DOI BibTeX RDF