All Stories

  1. Augmenting software engineering with AI. The ai4se taxonomy and its use
  2. First Workshop on Responsible Software Engineering
  3. SDL 2015: Model-Driven Engineering for Smart Cities
  4. A taxonomy of risk-based testing
  5. The Concept of a Mobility Data Cloud: Design, Implementation and Trials
  6. Robust architecture for distributed intelligence in an IP-based mobile wide-area surveillance system
  7. History, status, and recent trends of the testing and test control notation version 3 (TTCN-3)
  8. Security Testing Approaches – For Research, Industry and Standardization
  9. Metadata aggregation at GovData.de
  10. Framework for distributed autonomic self-healing in fixed IPv6 networks
  11. Fokus!MBT
  12. METHOD 2013: Message from the Workshop Organizers
  13. Online Model-Based Behavioral Fuzzing
  14. Behavioral Fuzzing Operators for UML Sequence Diagrams
  15. Auto-Collaboration for optimal network resource utilization in fixed IPv6 networks
  16. Rotary Dial Model — A model-driven methodology for autonomic network design
  17. The Testing and Test Control Notation TTCN‐3 and its Use
  18. On the interplay of open data, cloud services and network providers towards electric mobility in smart cities
  19. (Open) Data Quality
  20. Identification and Utilization of Components for a Linked Open Data Platform
  21. METHOD 2012: The First IEEE International Workshop on Methods for Establishing Trust with Open Data
  22. Trustworthiness of Open Source, Open Data, Open Systems and Open Standards
  23. Model-Based Fuzz Testing
  24. On the performance of UML state machine interpretation at runtime
  25. Automated Java GUI Modeling for Model-Based Testing Purposes
  26. Message from the general chairs
  27. Message from Technical Program Co-chairs
  28. Requirements-Driven Testing with Behavior Trees
  29. Defamation-Free Networks through User-Centered Data Control
  30. Application of TTCN-3 test language to testing information systems in eHealth domain
  31. Testing Environment for Real-Time Communications Intensive Systems
  32. Design of a Test Framework for Automated Interoperability Testing of Healthcare Information Systems
  33. 10 Model-Based Analysis and Development of Dependable Systems
  34. Test Automation with TTCN-3 - State of the Art and a Future Perspective
  35. Model-Based Testing of Embedded Systems Exemplified for the Automotive Domain
  36. Model-Based Integration Testing of Enterprise Services
  37. Viewpoints for modeling choreographies in service-oriented architectures
  38. Software service engineering: Tenets and challenges
  39. Testing Embedded Real Time Systems with TTCN-3
  40. Applying Model Checking to Generate Model-Based Integration Tests from Choreography Models
  41. Quality of test specification by application of patterns
  42. Application of Clustering Methods for Analysing of TTCN-3 Test Data Quality
  43. TTCN-3 Test Data Analyser Using Constraint Programming
  44. Testing hybrid control systems with TTCN-3: an overview on continuous TTCN-3
  45. Introduction to the special section on advances in test automation: the evolution of TTCN-3
  46. A Workload Model for Benchmarking BPEL Engines
  47. Test Data Provision for ERP Systems
  48. Automated Maintainability of TTCN-3 Test Suites Based on Guideline Checking
  49. Improving evolutionary class testing in the presence of non-public methods
  50. A Workload Model for Benchmarking IMS Core Networks
  51. Quality Assurance for Autonomous Systems--A Review of Model-Based Methods
  52. Quality Assurance for Autonomous Systems - A Review of Model-Based Methods
  53. Model-Driven Testing
  54. Automotive Validation Functions for On-Line Test Evaluation of Hybrid Real-Time Systems
  55. Continuous TTCN-3
  56. Distributed Load Tests with TTCN-3
  57. Distributed functional and load tests for Web services
  58. Addressing some challenges in autonomic monitoring in self-managing networks
  59. Model-Based Built-In Tests
  60. Tool Supported Test Frameworks in TTCN-3
  61. An introduction to the testing and test control notation (TTCN-3)
  62. Special issue on the Fifth International Workshop of the ERCIM Working Group on Formal Methods for Industrial Critical Systems, Berlin, April 3–4, 2000—selected papers
  63. A TTCN-3 based online test and validation platform for Internet services
  64. An auditing system for QoS-enabled networks
  65. Experience report on conformance tests for CORBA ORBs
  66. The Components Data Flow Machine: An Intermediate Modeling Format to Support the Design of Automobiles E/E Systems Architectures
  67. The Test Technology TTCN-3
  68. Modeling and Implementation of Built-In Contract Tests
  69. A test framework for CORBA interoperability