Sciweavers

    150 search results - page 4 / 30
    » tse 2008
    Sort
    View
    168
    Voted
    TSE
    2008
    76views more  TSE 2008»
    Static Specification Mining Using Automata-Based Abstractions
    15 years 5 months ago
    Static Specification Mining Using Automata-Based Abstractions
    Download  domino.research.ibm.com
    Sharon Shoham, Eran Yahav, Stephen J. Fink, Marco ...
    claim paper
    Read More »
    120
    Voted
    TSE
    2002
    74views more  TSE 2002»
    Using Version Control Data to Evaluate the Impact of Software Tools: A Case Study of the Version Editor
    15 years 7 months ago
    Using Version Control Data to Evaluate the Impact of Software Tools: A Case Study of the Version Editor
    Download  spic.kaist.ac.kr
    David L. Atkins, Thomas Ball, Todd L. Graves, Audr...
    claim paper
    Read More »
    184
    Voted
    TSE
    2002
    168views more  TSE 2002»
    A Survey on Software Architecture Analysis Methods
    15 years 7 months ago
    A Survey on Software Architecture Analysis Methods
    Download  www.win.tue.nl
    Liliana Dobrica, Eila Niemelä
    claim paper
    Read More »
    183
    Voted
    TSE
    2002
    125views more  TSE 2002»
    An Automated Verification Method for Distributed Systems Software Based on Model Extraction
    15 years 7 months ago
    An Automated Verification Method for Distributed Systems Software Based on Model Extraction
    Download  spinroot.com
    Gerard J. Holzmann, Margaret H. Smith
    claim paper
    Read More »
    117
    Voted
    TSE
    2002
    54views more  TSE 2002»
    Incremental Integration Testing of Concurrent Programs
    15 years 7 months ago
    Incremental Integration Testing of Concurrent Programs
    Download  www.cs.umd.edu
    Pramod V. Koppol, Richard H. Carver, Kuo-Chung Tai
    claim paper
    Read More »
    Explore & Download
    Proceedings Preprints Top 5 Ranked Papers Publications Books Software Tutorials Presentations Lectures Notes Datasets
    Productivity Tools
    i2PDF i2Img i2Text i2OCR i2Symbol i2Type i2Speak i2Style i2Arabic i2Bopomo Latex Equation Editor
    Sciweavers
    About Community Cookies Privacy Policy Terms of Use

    Copyright © Sciweavers LLC, 2009-2026, USA.