HICSS-40 Minitrack CALL FOR PAPERS (Expired)
Automated Software Testing and Analysis: Techniques, Practices and Tools
http://www.uow.edu.au/~zhiquan/HICSS_40/MinitrackCFP_index.htm
Fortieth Annual Hawai'i International Conference on System Sciences (HICSS-40)
January 3 - 6, 2007 (Wednesday-Saturday)
Hilton Waikoloa Village Resort and Spa on the Big Island
425 Waikoloa Beach Drive
Waikoloa, Hawaii 96738
http://www.hiltonwaikoloavillage.com
About HICSS
HICSS conferences are devoted to advances in the information, computer, and system sciences, and encompass developments in both theory and practice. Papers may be theoretical, conceptual, tutorial or descriptive in nature. Submissions undergo a double-blind peer referee process and those selected for presentation will appear in the Conference Proceedings published and distributed by the IEEE Computer Society and carried on the IEEE Digital Library, Xplore. Additional detail may be found on HICSS primary web site: http://www.hicss.hawaii.edu , mirror site: http://www.is.cityu.edu.hk/hicss .
Research in software testing and analysis has become increasingly active. There is also a growing trend towards combining formal methods and informal techniques for program verification. The HICSS Minitrack Automated Software Testing and Analysis: Techniques, Practices and Tools (http://www.uow.edu.au/~zhiquan/HICSS_40/MinitrackCFP_index.htm) is within the Software Technology Track (http://www.hicss.hawaii.edu/hicss_40/fstcfp.htm). This Minitrack will bring together researchers and practitioners to present their research results and exchange ideas and experience in software testing and analysis, especially in their automation and/or tool support, and in the combination of formal methods and informal techniques. Topics of interest include, but are not limited to:
Automated software testing
Automated debugging
Testing and analysis tools
Software model checking
Symbolic analyses, symbolic execution and their applications to software testing
Applications of formal verification in practice
Static, dynamic and combined analysis methods
Combination of formal methods and informal techniques
Experience reports on automated testing and analysis
Best practices in software testing and analysis
Accepted papers will be published in HICSS Conference Proceedings. In addition, a Special Issue of the International Journal on Software Tools for Technology Transfer (STTT) is envisaged for this Minitrack.
Minitrack Co-Chairs
| - | Zhi Quan (George) Zhou | University of Wollongong, Australia |
| zhiquan@uow.edu.au | http://www.uow.edu.au/~zhiquan | |
| - | Bernhard Scholz | The University of Sydney, Australia |
| scholz@it.usyd.edu.au | http://www.cs.usyd.edu.au/~scholz | |
| - | Giovanni Denaro | Università di Milano - Bicocca, Italy |
| denaro@disco.unimib.it | http://www.lta.disco.unimib.it/homepage/giovanni.denaro |
Minitrack Program Committee
Johann Blieberger, Vienna University of Technology, Austria
Bernd Burgstaller, University of Sydney, Australia
Bill Bush, Sun Microsystems, USA
Licia Capra, University College London, UK
T.Y. Chen, Swinburne University of Technology, Australia
S.C. Cheung, Hong Kong University of Science and Technology, Hong Kong
Rance Cleaveland, University of Maryland, USA
Wolfgang Grieskamp, Microsoft Research, USA
Daniel Hoffman, University of Victoria, Canada
Sarfraz Khurshid, The University of Texas at Austin, USA
Michael R. Lyu, Chinese University of Hong Kong, Hong Kong
Leonardo Mariani, University of Milano - Bicocca, Italy
Alessandro Orso, Georgia Institute of Technology, USA
Mauro Pezzè, University of Milano - Bicocca, Italy
Vugranam Sreedhar, IBM T.J. Watson Research Center, USA
Willem Visser, NASA Ames Research Center, USA
Tao Xie, North Carolina State University, USA
|
Abstracts |
Authors are
encouraged to contact Minitrack Chairs for guidance and indication of
appropriate content. Manuscripts are not accepted based on
abstracts. Full manuscripts must be submitted by June 15. |
|
June 15 |
Authors submit full
manuscripts to the Peer Review System, following Author Instructions
found on the HICSS web site (http://www.hicss.hawaii.edu).
All manuscripts will be submitted in double column publication
format and limited to 10 pages including diagrams and references.
Since manuscripts will undergo a double-blind review, author names and
affiliations must not be included on the original manuscript. This
information will be collected later through the system. |
|
August 15 |
Acceptance notices are
sent to Authors via the Peer Review System. |
|
September 15 |
Authors submit
Final Version of accepted papers following submission instructions on
the Peer Review System web site. At least one author of each
paper must register by this date with specific plans to attend the
conference to present the paper. Early Registration fee applies.
(General Registration fee applies Sept 16—Dec 15.) |
|
December 1 |
Deadline to
guarantee your hotel room reservation at conference rate. |
|
December 15 |
Deadline to receive conference registration refund. Late registration fee applies. |
| - | HICSS manuscripts must contain original material not previously published, nor currently submitted elsewhere. |
| - | HICSS will conduct double-blind reviews of each submitted manuscript. |
| - | Consult the conference website (http://www.hicss.hawaii.edu) for the listing and description of Minitracks for HICSS-40. |
| - | Contact the Minitrack Chair(s) by email for guidance and verification of appropriate content. (Optional but strongly encouraged) |
| - | Manuscripts may not be submitted to more than one Minitrack Chair. (One will be summarily rejected.) If unsure which Minitrack is appropriate, submit abstract to the Track Chair for guidance. |
| - | Submit full manuscript according to detailed instructions found on the Peer Review System website. |
Collaboration
Systems
Co-chairs: Robert O. Briggs
bbriggs@GroupSystems.com
Jay Nunamaker
jnunamaker@cmi.arizona.edu
Decision Technologies and Service Sciences
Chair: Dan Dolk
drdolk@nps.edu
Digital Media: Content and Communication
Chair: Michael Shepherd
shepherd@cs.cal.ca
E-Government
Chair:
H. Jochen Scholl
jscholl@u.washington.edu
Electric Power Systems
Chair: Robert Thomas rjt1@cornell.edu
Information Technology in Health Care
Chair:
William Chismar
chismar@hawaii.edu
Internet & the Digital Economy
Co-chairs: David King
david.king@jda.com
Alan Dennis
ardennis@indiana.edu
Knowledge
Management Systems
Co-chairs:
Murray Jennex
murphjen@aol.com
Dave Croasdell
davec@unr.edu
Organizational
Systems & Technology
Chair:
Hugh Watson
hwatson@terry.uga.edu
Software Technology
Co-chairs: Chair: Gul Agha agha@cs.uiuc.edu Rick Kazman kazman@hawaii.edu
CONFERENCE ADMINISTRATION
Ralph Sprague, Conference Chair sprague@hawaii.edu
Sandra Laney, Conference Administrator hicss@hawaii.edu
Eileen Robichaud, Track Administrator eidennis@indiana.edu