JiscMail Logo
Email discussion lists for the UK Education and Research communities

Help for FMNET Archives


FMNET Archives

FMNET Archives


FMNET@JISCMAIL.AC.UK


View:

Message:

[

First

|

Previous

|

Next

|

Last

]

By Topic:

[

First

|

Previous

|

Next

|

Last

]

By Author:

[

First

|

Previous

|

Next

|

Last

]

Font:

Monospaced Font

LISTSERV Archives

LISTSERV Archives

FMNET Home

FMNET Home

FMNET  2006

FMNET 2006

Options

Subscribe or Unsubscribe

Subscribe or Unsubscribe

Log In

Log In

Get Password

Get Password

Subject:

Call for papers: FATES/RV'06 - changed submission deadline

From:

Klaus Havelund <[log in to unmask]>

Reply-To:

Klaus Havelund <[log in to unmask]>

Date:

Tue, 28 Mar 2006 11:22:32 -0800

Content-Type:

text/plain

Parts/Attachments:

Parts/Attachments

text/plain (209 lines)

CALL FOR PAPERS

1st Joint International Workshop on
FORMAL ASPECTS OF TESTING AND RUNTIME VERIFICATION
FATES/RV 2006
http://www.fatesrv06.inf.ethz.ch
Sponsored by Microsoft Research

In affiliation with the
2006 Federated Logic Conference (FLoC 2006)
Seattle, Washington, USA, August 15/16, 2006


*** CHANGED SUBMISSION DEADLINE : MAY 24 ***


OBJECTIVE AND SCOPE

Software validation is one of the most cost-intensive tasks in mo-
dern software production processes. The objective of FATES/RV'06
is to bring scientists from both academia and industry together to
discuss formal approaches to test and analyse programs and monitor
and guide their executions. Formal approaches to test may cover
techniques from areas like theorem proving, model checking, con-
straint resolution, static program analysis, abstract interpreta-
tion, Markov chains, and various others. Formal approaches to run-
time verification use formal techniques to improve traditional
ad-hoc monitoring techniques used in testing, debugging, perfor-
mance monitoring, fault protection, etc.

The aim of the FATES/RV workshop series is to be a forum for
researchers and developers to discuss the state of the art in
theory, application, tools and industrialization of formal
approaches to testing and runtime verification. The topics of
interest include:

* Fundamental aspects and new types of testing:
test derivation, test selection, test implementation and execution,
test result analysis, test stop criteria, and how they appear in
functional, interoperability, performance, security, robustness
tests.

* Combining different techniques in testing:
combined verification and testing approaches, integrated approaches
of black-box, grey-box and integration testing, etc.

* Testing and Object Orientation:
Different testing techniques in OO, extreme programming,
aspect oriented programming, etc.

* Different formal models and modeling languages:
automata, logical, process algebra, algebraic data types, grammars,
Markov-chains, UML, SDL, MSC, LOTOS, Z, VDM, TTCN-3, Timed Automata,
synchronous languages, etc.

* Different application areas:
communication systems, control systems, embedded software,
Web-based systems, sensor networks, etc.

* Different testing algorithms:
testing techniques for model and program analysis: automatic
partitioning, coverage analysis, test derivation (online and offline),
test data selection, etc.

* Dynamic program analysis:
Techniques that gather information during program execution and use
it to conclude properties about the program, either during test or
in operation. Algorithms for detecting multi-threading errors in
execution traces, such as deadlocks and data races.

* Monitoring languages and logics:
While scientists have investigated logics and developed technologies
that are suitable for model checking and theorem proving,
monitoring can reveal new observation-based foundational logics.

* Program instrumentation:
The merge of Aspect Oriented Programming and Runtime Verification,
techniques for instrumenting programs, at the source code or object
code/byte code level, to emit relevant events to an observer.

* Program guidance:
Techniques for guiding the behavior of a program once its specifi-
cation is violated. This ranges from standard exceptions to advanced
planning. Guidance can also be used during testing to expose errors.

* Novel applications for run-time verification:
Formalisms that go beyond correctness properties. This includes, but
certainly is not limited to, performance properties, survivability and
fault tolerance, and so on.

With formal approaches to testing and runtime verfication becoming
more mature, the focus of the workshop is not only on research
approaches, but also on the application and industrialization
of formal testing methodologies. Thus, in addition to research papers,
FATES/RV 2006 invites experience reports, industrial applications
and work-in-progress paper submissions. Experience reports should
address medium size case studies and their analysis with a tool
(preferably not ones own), which describe validation methodologies
with a clear outline of the theoretical background.
Industrial applications should report on large scale case studies
and their adoption in an industrial setting, preferably with
an analysis of the existing acceptance problems.

INVITED SPEAKERS

Wolfgang Grieskamp (Microsoft Research, USA)
"Model-based testing with Spec Exlorer,
with focus on model composition".
http://research.microsoft.com/projects/specexplorer/.

Oege de Moor (Oxford University, GB)
"Aspect oriented programming with the abc compiler,
with focus on runtime verification extensions."
http://abc.comlab.ox.ac.uk/.

SUBMISSIONS

Each submission must explain the contribution and novelty in the
field making clear the current status of the work. The following
types of contributions to FATES/RV 2006 are solicited:

* Research papers (up to 15 pages)
* Experience reports (up to 15 pages)
* Application and industrialization studies (up to 15 pages)
* Work-in-progress or position papers (up to 8 pages)

If a submission is not a research paper, its kind (i.e., experience
report, application study, work-in-progress paper) has to be stated
explicitly before the title on the first page of the document.

All contributions will be reviewed by the Program Committee for
technical quality and for compliance with the workshop objectives.
All articles have to be submitted electronically in PDF format
(http://research.microsoft.com/floc06/) and have to follow the
Springer LNCS paper format (www.springer.de/comp/lncs/authors.html).
For the submission please ensure that your papers have page numbers.

Accepted papers will be published in post-workshop proceedings
by Springer in the LNCS series
(see http://www.springer.de/comp/lncs/authors.html), as well
as in preliminary proceedings to be handed out at the workshop.

IMPORTANT DATES (CHANGED!)

* Deadline for submissions : May 24, 2006
* Notification of acceptance : June 28, 2006
* Workshop Proceeding-Version : July 7, 2006 (hard deadline!)
* Workshop : August 15/16, 2006
* Camera-ready Copy : Sept. 15, 2006

The workshop proceeding version and the final versions must comply
to the Springer LNCS format (see http://www.springer.de/comp/lncs/authors.html).

PROGRAM COMMITTEE CO-CHAIRS

Klaus Havelund Kestrel Technology
        e-mail: [log in to unmask]
        home page: http://www.havelund.com

Manuel Nunez Universidad Complutense de Madrid
        e-mail: [log in to unmask]
        home page: http://dalila.sip.ucm.es/~manolo/

Grigore Rosu University of Illinois at Urbana-Champaign
        e-mail: [log in to unmask]
        home page: http://fsl.cs.uiuc.edu/~grosu/

Burkhart Wolff Eidgenoessische Technische Hochschule Zuerich
        e-mail: [log in to unmask]
        home page: www.infsec.ethz.ch/people/wolffb


PROGRAM COMMITTEE

Howard Barringer (Univ Manchester, UK)
Saddek Bensalem (VERIMAG, France)
Rachel Cardell-Oliver (Univ of Western Australia, Australia)
Ana Cavalli (Inst National de Telecommunication, France)
Doron Drusinsky (Naval Postgraduate School, USA)
Bernd Finkbeiner (Saarland Univ, Germany)
Cormac Flanagan (Univ California, Santa Cruz, USA)
Vijay Garg (Univ of Texas, Austin, USA)
Jens Grabowski, (Univ of Goettingen, Germany)
Wolfgang Grieskamp (Microsoft Research, USA)
Yuri Gurevich (Microsoft Research, USA)
Robert M. Hierons (Brunel Univ, UK)
Gerard Holzmann (JPL, USA)
Insup Lee (Univ of Pennsylvania, USA)
Michael Moeller (Univ of Oldenburg, Germany)
Brian Nielsen (Aalborg University, Denmark)
Jeff Offutt (George Mason Univ, USA)
Doron Peled (University of Warwick, UK)
Alexandre Petrenko (Comp Research Inst of Montreal, Canada)
Ina Schieferdecker (Fraunhofer FOKUS, Germany)
Scott Stoller (State Univ of New York, Stony Brook, USA)
Henny Sipma (Stanford Univ, USA)
Oleg Sokolsky (Univ of Pennsylvania, USA)
Serdar Tasiran (Koc Univ, Turkey)
Jan Tretmans (Radboud Univ Nijmegen, The Netherlands)
Umit Uyar (City Univ of New York, USA)
Carsten Weise (Ericsson Research and Development, Germany)

FURTHER INFORMATION

For further information see the FATES/RV 2006 Web site
(http://www.fatesrv06.inf.ethz.ch/), the FLoC 2006
Web site (http://research.microsoft.com/floc06/), or contact directly one of
the chairs.

Top of Message | Previous Page | Permalink

JiscMail Tools


RSS Feeds and Sharing


Advanced Options


Archives

October 2019
September 2019
August 2019
July 2019
June 2019
May 2019
April 2019
March 2019
February 2019
January 2019
December 2018
November 2018
October 2018
September 2018
August 2018
July 2018
June 2018
May 2018
April 2018
March 2018
February 2018
January 2018
December 2017
November 2017
October 2017
September 2017
August 2017
July 2017
June 2017
May 2017
April 2017
March 2017
February 2017
January 2017
December 2016
November 2016
October 2016
September 2016
August 2016
July 2016
June 2016
May 2016
April 2016
March 2016
February 2016
January 2016
December 2015
November 2015
October 2015
September 2015
August 2015
July 2015
June 2015
May 2015
April 2015
March 2015
February 2015
January 2015
December 2014
November 2014
October 2014
September 2014
August 2014
July 2014
June 2014
May 2014
April 2014
March 2014
February 2014
January 2014
December 2013
November 2013
October 2013
September 2013
August 2013
July 2013
June 2013
May 2013
April 2013
March 2013
February 2013
January 2013
December 2012
November 2012
October 2012
September 2012
August 2012
July 2012
June 2012
May 2012
April 2012
March 2012
February 2012
January 2012
December 2011
November 2011
October 2011
September 2011
August 2011
July 2011
June 2011
May 2011
April 2011
March 2011
February 2011
January 2011
December 2010
November 2010
October 2010
September 2010
August 2010
July 2010
June 2010
May 2010
April 2010
March 2010
February 2010
January 2010
December 2009
November 2009
October 2009
September 2009
August 2009
June 2009
May 2009
April 2009
March 2009
February 2009
November 2008
October 2008
September 2008
August 2008
July 2008
June 2008
May 2008
April 2008
March 2008
February 2008
January 2008
December 2007
November 2007
October 2007
September 2007
August 2007
July 2007
June 2007
May 2007
April 2007
March 2007
February 2007
January 2007
2006
2005
2004
2003
2002


JiscMail is a Jisc service.

View our service policies at https://www.jiscmail.ac.uk/policyandsecurity/ and Jisc's privacy policy at https://www.jisc.ac.uk/website/privacy-notice

Secured by F-Secure Anti-Virus CataList Email List Search Powered by the LISTSERV Email List Manager