posted by organizer: gmezzetti || 2852 views || tracked by 4 users: [display]

V&V track @ QUATIC 2016 : Quality Aspects in Verification and Validation

FacebookTwitterLinkedInGoogle

Link: https://goo.gl/ZEcP3H
 
When Sep 7, 2016 - Sep 9, 2016
Where Lisbon
Submission Deadline Apr 10, 2016
Notification Due May 15, 2016
Final Version Due Jun 19, 2016
Categories    verification   validation
 

Call For Papers

The blooming of information society is pushing software development to move
fast to match the expectations of a wide and globalised audience of users and
consumers. This trend fosters the adoption of programming languages,
development methodologies, network and hardware infrastructures that enable a
fast shifting from prototyping to deployment and allow short release cycles.
Yet, it is crucial that software systems satisfy their functional and non-
functional requirements.

Fitting together the conflicting demands for speed and quality is a challenge
that calls for new paradigms and methodologies of software verification and
validation. The ICT Verification and Validation (V&V) track of QUATIC 2016 is
a showcase and discussion forum for innovative research proposals that address
this challenge.

Authors are invited to submit technical papers, empirical studies, success
stories or any other form of original research contribution. Suggested topics
of interest for this track include, but are not restricted to, V&V paradigms
and methodologies such as:

+ model checking
+ abstract interpretation
+ static analysis
+ type systems
+ testing
+ test generation
+ models and calculi for software and requirements specification
+ software quality metrics and other quantitative methods
+ dynamic/runtime/online techniques

for quality assurance in the context of:

+ agile methodologies
+ continuous delivery
+ cloud computing: IaaS, PaaS, SaaS, SLA, etc.
+ mobile computing
+ Internet of things
+ automation in development
+ dynamic programming languages


SUBMISSION PROCESS:

Authors should submit to http://www.easychair.org/conferences/?conf=quatic2016
a PDF version of their paper. Papers must be in CPS format and not exceed 6
pages, including figures, references, and appendices. Submissions must be
original and will be reviewed by the Track Program Committee. Accepted papers
will be submitted for archiving in IEEE Xplore, subject to one of the
authors registering for the conference. The authors of the best papers of this
thematic track will be invited to submit extended versions to the main track
of the conference. More info on the QUATIC’2016 selection process and its
tracks can be found at http://2016.quatic.org.

PROGRAM CHAIR:

Gianluca Mezzetti, Aarhus University, Denmark

PROGRAM COMMITEE:

Antonia Bertolino (Italian National Research Council, Italy)
Dave Clarke (Uppsala University, Sweden)
Letterio Galletta (University of Pisa, Italy)
Leonardo Mariani (University of Milan, Italy)
Jan Midtgaard (Technical University of Denmark, Denmark)
Patrick Lam (University of Waterloo, Canada)
Mohammad Reza Mousavi (Halmstad University, Sweden)
Marco Pistoia (IBM Thomas J. Watson Research Center, USA)
Andreas Podelski (University of Freiburg, Germany)
Philipp Rümmer (Uppsala University, Sweden)


CONFERENCE WEBSITE:

For additional information visit the website of the track
https://goo.gl/ZEcP3H

Related Resources

iccq 2023   The Third International Conference on Code Quality
ICCIoT 2023   4th International Conference on Cloud and Internet of Things
SAC-SVT 2023   CfP Software Verification and Testing Track at SAC 2023 - deadline extension to October, 15
MDPI-Electronics-SI-QualRiskDistribSys 2022   MDPI Electronics Special Issue on Quality Assurance and Risk Mitigation in Large-Scale Distributed Systems
PLACES 2023   14th Workshop on Programming Language Approaches to Concurrency- and Communication-cEntric Software
ICST 2023   16th IEEE International Conference on Software Testing, Verification and Validation
EAI TRIDENTCOM 2022   17th EAI International Conference on Tools for Design, Implementation and Verification of Emerging Information Technologies
AAAI Fast Track 2023   The 37th AAAI Conference on Artificial Intelligence (Fast Track)
TACAS 2023   29th International Conference on Tools and Algorithms for the Construction and Analysis of Systems
ICCD 2022   International Conference on Computer Design