The proceedings of MUSEPAT will be published as a volume in Springer's Lecture Notes in Computer Science (LNCS) series. Authors of selected papers will be invited to submit an extended version to appear in a special issue of the Journal on Software Testing, Verification and Reliability.

Instructions for Paper Authors

Papers should contain original work which has not been submitted or accepted for publication elsewhere. Submissions should adhere to the LNCS format:

http://www.springer.com/computer/lncs?SGWID=0-164-6-793341-0

We solicit three kinds of contributions:

Technical Papers: At most 12 pages in LNCS format. All accepted technical papers will be included in the proceedings.

Tool Presentations: This kind of submission consist of two parts: the first part is at most a 5 page description of the tool. If accepted, this part will be published in the symposium proceedings. The second part describe an informal plan for an oral presentation of the tool. This part will not be included in the proceedings.

Industry papers and experience reports: Submissions with no more than 12 pages addressing practical uses of multicore techniques and technologies in real-world environment. 

Submisison Instructions

Abstracts and papers should be submited on Springer's OCS

http://senldogo0039.springer-sbm.com/ocs/conference/submitpaperto/MUSEPAT2013