Conference Information
ICTSS 2019: International Conference on Testing Software and Systems
Submission Date:
2019-05-26 Extended
Notification Date:
Conference Date:
Paris, France
QUALIS: b1   Viewed: 13253   Tracked: 0   Attend: 0

Call For Papers
 Topics of interest include, but are not limited to:

    Aspects of testing: test derivation, test selection, test generation, test coverage, test concretization, test implementation and execution, test result analysis, test oracle, verdict computation, test management, active testing and passive testing, monitoring and runtime verification.
    Theoretical approaches: formalisms (such as automata, state machines, process algebra, logics, Markov-chains…), testing frameworks, results for: compositionality, refinement, soundness and completeness, addressing complex systems, heterogeneous or hybrid systems.
    Modelling languages (such as UML, MATLAB, Simulink, Modelica…) and associated tooling for model-based testing: test generation from models, model-based oracles. Scalability, traceability, quantification issues. Automated support of any parts of the testing activities, testing processes, test-driven development, sound metrics and measurements.
    Quality aspects: Functional, interoperability, unit, integration, performance, load, conformance, non-regression, reliability, robustness, security, safety, privacy testing.
    Cross domains and combination of techniques: using other techniques such as proof, model-checking, symbolic execution, abstract interpretation, static analysis, simulation, model learning, machine learning, expert systems, neural networks, genetic algorithms… to improve quality and reduce effort in testing processes.
    Dedicated approaches to test protocols, middleware, networks, wireless applications, control systems, software product lines, AI applications etc.
    Application areas: Communicating systems such as cyberphysical systems, systems of systems, embedded systems, web services systems, smart grids, cloud computing systems, business information systems, real-time systems, distributed and concurrent systems.
    Case studies: Case studies and industrial applications involving qualified empirical evaluations. 
Last updated by Dou Sun in 2019-05-18
Acceptance Ratio
Related Conferences
CCFCOREQUALISShortFull NameSubmissionNotificationConference
cICCC'International Conference on Communications in China2023-05-152023-07-012023-08-10
OSDOCInternational Workshop Open Source and Design of Communication 2012-04-092012-06-11
IoT-SIUInternational Conference On Internet of Things: Smart Innovation and Usages2017-11-102017-11-242018-02-24
baa2CONCURInternational Conference on Concurrency Theory2023-04-242023-06-282023-09-17
NGMASTInternational Conference on Next Generation Mobile Applications, Security and Technologies2016-05-102016-06-052016-08-24
ICAR''International Conference on Availability and Reliability2017-11-202017-12-122017-12-17
CCSCIInternational Conference on Communication Systems and Computational Intelligence2013-10-252013-11-202014-01-10
aICADLInternational Conference on Asia Digital Libraries2021-07-012021-08-202021-12-01
ReCoSoCInternational Symposium on Reconfigurable Communication-centric Systems-on-Chip2019-04-282019-06-042019-07-01
cICESSInternational Conference on Embedded Software and Systems2022-09-202022-10-152022-12-18
Related Journals
CCFFull NameImpact FactorPublisherISSN
bSoftware & Systems Modeling1.910Springer1619-1366
Journal of Combinatorial Theory, Series B1.317Elsevier0095-8956
Queueing Systems0.438Springer0257-0130
cTheory of Computing Systems0.477Springer1432-4350
International Journal of Instrumentation and Control Systems AIRCC2319-412X
IEEE Transactions on Cognitive and Developmental Systems2.755IEEE2379-8920
International Journal of Distributed and Parallel Systems AIRCC2229-3957
International Journal of General Systems2.259Taylor & Francis0308-1079
Journal of Medical Systems4.460Springer0148-5598
Journal of the Association of Information Systems3.103Association for Information Systems1536-9323