Journal: Software Testing, Verification and Reliability

For Authors

For additional tools visit Author Resources - an enhanced suite of online tools for Wiley InterScience journal authors, featuring Article Tracking, E-mail Publication Alerts and Customized Research Tools.


Instructions to Authors

Manuscript Submission. Software Testing Verification and Reliability operates an online submission and peer review system that allows authors to submit articles online and track their progress via a web interface. Please read the remainder of these instructions to authors and then click http://mc.manuscriptcentral.com/stvr to navigate to the Software Testing Verification and Reliability online submission site.

All papers must be submitted via the online system.

File types. Preferred formats for the text and tables of your manuscript are .doc, .rtf, .ppt, .xls. LaTeX files may be submitted provided that an .eps or .pdf file is provided in addition to the source files. Figures may be provided in .tiff or .eps format.

Important information for authors using LaTeX. If you have used LaTeX to prepare your manuscript you should observe the following instructions:

  • Initial submission: For reviewing purposes you should upload either an .eps, .pdf or .rtf created from your source files.
  • Submission of a revised manuscript: When submitting your revision you must still upload an .eps, .pdf or .rtf for reviewing purposes. In addition you must upload your LaTeX source files. If your manuscript is accepted for publication we will use the files you upload to typeset your article within a totally digital workflow.

Authors must only supply by postal mail to the Editorial Office:

  • a Copyright Transfer Agreement with original signature(s) - without this we are unable to accept the submission, and
  • permission grants - if the manuscript contains extracts, including illustrations, from other copyright works (including material from on-line or intranet sources) it is the author's responsibility to obtain written permission from the owners of the publishing rights to reproduce such extracts using the Wiley Permission Request Form.

The Copyright Transfer Form and the Permissions Form should be sent to the editorial office that has received the submitted manuscript. The forms must be sent immediately following the online submission of your article.


Submission of a manuscript will be held to imply that it contains original unpublished work and is not being submitted for publication elsewhere at the same time. Submitted material will not be returned to the author, unless specifically requested.


Manuscript style. The language of the journal is English. All submissions including book reviews must have a title, and have a margin of 3cm all round. Illustrations and tables must be on separate sheets, and not be incorporated into the text.

  • The title page must list the full title, short title, and names and affiliations of all authors. Give the full address, including email, telephone and fax, of the author who is to check the proofs.
  • Include the name(s) of any sponsor(s) of the research contained in the paper, along with grant number(s).
  • Supply a summary of up to 250 words for all articles except book reviews. This should be a concise summary of the whole paper, not just the conclusions, and should be understandable without reference to the rest of the paper. It should contain no citation to other published work.
  • Include up to six keywords that describe your paper for indexing purposes.
  • Program listings should be avoided unless they are essential or add significantly to the discussion. Program material should be supplied as originals on plain paper, and will be reproduced photographically to avoid errors.

Reference style. References should be cited by number within square brackets and listed at the end of the paper in the order in which they appear in the text. All references must be complete and accurate. Where possible the DOI* for the reference should be included at the end of the reference. Online citations should include date of access. If necessary, cite unpublished or personal work in the text but do not include it in the reference list. References should be listed in the following style:

Journals
Jin Z, Offutt, AJ. Coupling-based integration testing. Software Testing, Verification and Reliability 1998; 8(3):133-154. DOI: 10.1002/stvr.120.

Books
Cohen DIA. 1991. Introduction to Computer Theory. Wiley: New York, 1991; 1-22.

Proceedings
Rowstron A, Li S, Stefanova R. C2AS: A system supporting distributed Web applications composed of collaborating agents. Proceedings 6th IEEE Workshop on Enabling Technologies: Infrastructure for Collaborative Enterprises (WETICE), June 1997. IEEE Computer Society Press: Boston, MA, 1997; 127–132.

Proceedings
Hughes J. A distributed garbage collection algorithm. Proceedings of the ACM Conference on Functional Programming Languages and Computer Architecture (Lecture Notes in Computer Science, vol. 201), Jouannaud J-P (ed.). Springer: Berlin, 1985; 256–272.

*The Digital Object Identifier (DOI) is an identification system for intellectual property in the digital environment. Developed by the International DOI Foundation on behalf of the publishing industry, its goals are to provide a framework for managing intellectual content, link customers with publishers, facilitate electronic commerce, and enable automated copyright management.

Illustrations. Upload each figure as a separate file in either .tiff or .eps format, with the lead author's name, the figure number and the top of the figure indicated. Compound figures e.g. 1a, b, c should be uploaded as one figure. Tints are not acceptable. Lettering must be of a reasonable size that would still be clearly legible upon reduction, and consistent within each figure and set of figures. Where a key to symbols is required, please include this in the artwork itself, not in the figure legend. All illustrations must be supplied at the correct resolution:

  • Black and white and colour photos - 300 dpi
  • Graphs, drawings, etc - 800 dpi preferred; 600 dpi minimum
  • Combinations of photos and drawings (black and white and colour) - 500 dpi

Tables should be part of the main document and should be placed after the references. If the table is created in excel the file should be uploaded separately.

Copyright. To enable the publisher to disseminate the author's work to the fullest extent, the author must sign a Copyright Transfer Agreement, transferring copyright in the article from the author to the publisher, and submit the original signed agreement with the article presented for publication. A copy of the agreement to be used (which may be photocopied) will be reproduced in each volume of Software Testing, Verification and Reliability. Copies may also be obtained from the journal editor or publisher, or may be printed from this website.

Further Information. Proofs will be sent to the author for checking. This stage is to be used only to correct errors that may have been introduced during the production process. Prompt return of the corrected proofs, preferably within two days of receipt, will minimise the risk of the paper being held over to a later issue. Twenty-five complimentary offprints will be provided to the author who checked the proofs, unless otherwise indicated. Further offprints and copies of the journal may be ordered. There is no page charge to authors.

 
  • 0
    点赞
  • 0
    收藏
    觉得还不错? 一键收藏
  • 1
    评论
电子设计自动化(Electronic Design Automation,EDA)是指利用计算机辅助设计(CAD)技术来辅助进行电子芯片和系统的设计过程。EDA涵盖了综合(Synthesis)、验证(Verification)和测试(Test)等关键步骤。 综合是将高级设计描述(如高级编程语言)转换为硬件描述语言(HDL)的过程。通过综合,设计工程师可以将设计思路转化为硬件描述,并根据要求自动生成电路结构和逻辑功能。综合过程中还可以优化电路设计,提高性能和功耗。 验证是在设计过程中通过模拟、仿真、形式验证等多种手段来验证设计的正确性和功能性。验证可以检查是否符合规范和要求,并发现潜在的错误和问题。通过验证,设计工程师可以在实际制造之前发现和解决问题,提高设计的可靠性和质量。 测试是在设计完成后对电子芯片和系统进行物理测试的过程。测试可以验证设计是否满足功能要求和性能指标,并检测故障和缺陷。测试过程中需要设计测试方案和生成测试向量,然后通过专用测试设备对芯片进行测试和分析。测试结果可以帮助设计工程师改进产品质量和性能。 综合、验证和测试是EDA中不可或缺的环节,它们相互关联、互为支持。综合确定了电路结构和功能,验证保证了设计的正确性和性能,而测试则验证了设计的可靠性和功能。总之,EDA的使用可以提高电子设计的效率和可靠性,从而推动了电子行业的发展。
评论 1
添加红包

请填写红包祝福语或标题

红包个数最小为10个

红包金额最低5元

当前余额3.43前往充值 >
需支付:10.00
成就一亿技术人!
领取后你会自动成为博主和红包主的粉丝 规则
hope_wisdom
发出的红包
实付
使用余额支付
点击重新获取
扫码支付
钱包余额 0

抵扣说明:

1.余额是钱包充值的虚拟货币,按照1:1的比例进行支付金额的抵扣。
2.余额无法直接购买下载,可以购买VIP、付费专栏及课程。

余额充值