Registrati | Log in | FAQ      [?] 
Recent | Unread | Search | Authors | Tags | Export

di cemkaner library [291 articles]

Articoli aggiunti di recente nella biblioteca di cemkaner .
  • Automatic test data generation using genetic algorithm and program dependence graphs
    (2004)
    by Hao Zhang
  • Integration of model checking into software development processes
    (2004)
    by Fei Xie
    posted to se testing by cemkaner on 2005-08-02 05:17:04 as ** along with 1 group Context-driven-testers
  • Empirical studies on test data generation using optimization techniques
    (2004)
    by Man Xiao
  • EvoAttack-testing operating systems by learning harmful system call sequences
    (2004)
    by Timothy R Williams
    posted to se security testing by cemkaner on 2005-08-02 05:13:29 as ** along with 1 group Context-driven-testers
  • Extending the reach of statistical software testing
    (2004)
    by Robert J Weber
    posted to se testing by cemkaner on 2005-08-02 05:10:52 as ** along with 1 group Context-driven-testers
  • Automatic test-case generation from formal models of software
    (2004)
    by Sanjai Rayadurgam
  • Unified modeling language design testing and analysis
    (2004)
    by Orest J Pilskalns
    posted to se testing by cemkaner on 2005-08-02 05:06:59 as ** along with 1 group Context-driven-testers
  • A dimensionality approach to testing and improving software robustness
    (2004)
    by Jiantao Pan
    posted to se testing by cemkaner on 2005-08-02 05:05:25 as ** along with 1 group Context-driven-testers
  • Test case prioritization
    (2004)
    by Alexey G Malishevsky
    posted to se testing by cemkaner on 2005-08-02 05:03:06 as ** along with 1 group Context-driven-testers
  • A two tiered approach to methodical GUI testing
    (2004)
    by Ping Li
    posted to se testing by cemkaner on 2005-08-02 05:01:17 as ** along with 1 group Context-driven-testers
  • Software quality and reliability prediction using Dempster-Shafer theory
    (2004)
    by Lan Guo
    posted to reliability se testing by cemkaner on 2005-08-02 04:58:34 as ** along with 1 group Context-driven-testers
  • The extended operational profile model for usage-based software testing
    (2004)
    by Mechelle S Gittens
    posted to reliability se testing by cemkaner on 2005-08-02 04:50:25 as ** along with 1 group Context-driven-testers
  • Evaluating unit testing methods
    (2004)
    by Alaa A Attia
    posted to se testing unit-testing by cemkaner on 2005-08-02 04:44:31 as ** along with 1 group Context-driven-testers
  • An approach for combining unit test and integration test in OOP: Implementing JUnit to include metrics and coverage for integration testing
    (2004)
    by Yu Chen
    posted to se testing unit-testing by cemkaner on 2005-08-02 04:42:11 as ** along with 1 group Context-driven-testers
  • Program result-checking with applications
    (1990)
    by S Kannan
    posted to se testing by cemkaner on 2005-08-02 04:28:24 as ** along with 1 group Context-driven-testers
  • An experimental analysis of program verification methods.
    (1976)
    by William C Hetzel
    posted to perspective se testing by cemkaner on 2005-08-02 04:23:46 as ** along with 1 group Context-driven-testers
  • Model specification and analysis for discrete event simulation
    (1982)
    by Charles M Overstreet
    posted to se testing by cemkaner on 2005-08-02 04:18:23 as ** along with 1 group Context-driven-testers
  • Reference Model Based High Fidelity Simulation Modeling for Manufacturing Systems
    (2004)
    by Hansoo Kim
    posted to se simulation testing by cemkaner on 2005-08-02 04:09:32 as ** along with 1 group Context-driven-testers
  • A Metrics And Testing Based Software Development Environment
    (1990)
    by Chung Yung
    posted to measurement se testing by cemkaner on 2005-08-02 04:02:57 as ** along with 1 group Context-driven-testers
  • Reachability Analysis of Feature Interactions in Service-Oriented Software Systems
    (1996)
    by Keith P Pomakis
    posted to reliability se testing by cemkaner on 2005-08-02 03:59:41 as ** along with 1 group Context-driven-testers
  • Testing of a Computer Program on the Example of a Medical Application with Diversification and other Methods
    (1996)
    by Melzer Ingo
    posted to safety se testing by cemkaner on 2005-08-02 03:30:07 as ** along with 1 group Context-driven-testers
  • Module and Protocol Testing in Software Quality Assurance
    (1995)
    by Petri Kuusela
    posted to protocol se testing by cemkaner on 2005-08-02 03:27:16 as ** along with 1 group Context-driven-testers
  • High Level Test Generation Using Software Testing Metrics
    (1995)
    by Mark W Johnson
    posted to measurement se testing by cemkaner on 2005-08-02 03:24:59 as ** along with 1 group Context-driven-testers
  • Testing of Object Oriented Software Using Formal Specifications
    (1995)
    by Rohan Fletcher
  • Automated Generation of High Integrity Test Suites from Graphical Specifications
    (2002)
    by Simon Burton
  • Specification Based Testing
    (1995)
    by Darren Buttle
  • Controlling state explosion in reachability analysis
    (1993)
    by Wei J Yeh
    posted to se testing by cemkaner on 2005-08-02 03:11:53 as ** along with 1 group Context-driven-testers
  • Structured Testing: Analysis and Extension
    by Arthur H Watson
    posted to se testing by cemkaner on 2005-08-02 03:11:34 as ** along with 1 group Context-driven-testers
  • Schema-Based Mutation Analysis: A New Test Data Adequacy Assessment Method
    (1995)
    by Roland H Untch
    posted to mutation se testing by cemkaner on 2005-08-02 03:08:52 as ** along with 1 group Context-driven-testers
  • Efficient, Effective Regression Testing Using Safe Test Selection Techniques
    (1995)
  • Compiler-integrated software testing
    (1992)
    by Edward W Krauser
    posted to se testing unit-testing by cemkaner on 2005-08-02 02:55:23 as ** along with 1 group Context-driven-testers
  • A testing metric for designs modelled as hierarchical finite-state machines
    (2000)
    by Ning Lew
  • Reducing regression test time by reusing unit test results
    (1999)
    by Lawrence K Bolef
  • Software component interaction testing: Coverage measurement and generation of configurations
    (2003)
    by Alan W Williams
    posted to coverage se testing by cemkaner on 2005-08-02 02:43:57 as ** along with 1 group Context-driven-testers
  • Approximate testing theory
    (1992)
    by Kathleen Romanik
  • Complete safety software testing: A formal method
    (1996)
    by Jon R Lunglhofer
    posted to safety se testing by cemkaner on 2005-08-02 02:40:58 as ** along with 1 group Context-driven-testers
  • Modeling software reliability during non-operational testing
    (1998)
    by Anthony T Rivers
    posted to reliability se testing by cemkaner on 2005-08-02 02:39:55 as ** along with 1 group Context-driven-testers
  • A Bayesian model of sequential test allocation for software reliability estimation
    (2002)
    by Herbert H Thompson
    posted to reliability se testing by cemkaner on 2005-08-02 02:38:11 as ** along with 1 group Context-driven-testers
  • Testing object-oriented commercial software
    (1995)
    by Kim M Borden
  • Algorithms for finite-state testing of concurrent software systems
    (1986)
    by Gregory B Titus
    posted to se state-model testing by cemkaner on 2005-08-02 02:35:56 as ** along with 1 group Context-driven-testers
  • A unique examination of the buffer overflow condition
    (2002)
    by Terry B Gillette
    posted to se security testing by cemkaner on 2005-08-02 02:34:35 as ** along with 1 group Context-driven-testers
  • Domain testing: Divide and conquer
    (2004)
    by Sowmya Padmanabhan
  • A logistic model for analyzing software random testing
    (1997)
    by Mahbug H Chowdury
    posted to random se testing by cemkaner on 2005-08-02 02:30:05 as ** along with 1 group Context-driven-testers
  • On the problem of software testing and the generation of test data
    (1988)
    by Lincoln T Scott
  • Siddhartha: Domain-specific unit test generation for "low-testability" programs
    (1999)
    by Arthur A Reyes
    posted to se testing unit-testing by cemkaner on 2005-08-02 02:26:56 as ** along with 1 group Context-driven-testers
  • A study of the effectiveness of regression test case selection and scheduling strategies in a system test environment
    (2000)
    by Christine C Thiltgen
    posted to regression se testing by cemkaner on 2005-08-02 02:24:59 as ** along with 1 group Context-driven-testers
  • A formal method for testing client/server applications
    (1998)
    by Arturo Suarez
  • An integrated testing and fault localization methodology for spreadsheet languages
    (2000)
    by James Reichwein
    posted to se testing by cemkaner on 2005-08-02 02:19:31 as ** along with 1 group Context-driven-testers
  • Model-based path testing
    (2001)
    by Jie Zhang
    posted to se state-model testing by cemkaner on 2005-08-02 02:17:29 as ** along with 1 group Context-driven-testers
  • Detection of erroneous payments utilizing supervised and utilizing supervised and unsupervised data mining techniques
    (2004)
    by Todd E Yanik
    posted to se testing tools by cemkaner on 2005-08-02 02:14:55 as ** along with 1 group Context-driven-testers
  • Puoi citare questa pagina come: http://www.citeulike.org/user/cemkaner

    Result page: 1 2 3 4 5 6 Next RIS BibTeX
    CiteULike organises scholarly (or academic) papers or literature and provides bibliographic (which means it makes bibliographies) for universities and higher education establishments. It helps undergraduates and postgraduates. People studying for PhDs or in postdoctoral (postdoc) positions. The service is similar in scope to EndNote or RefWorks or any other reference manager like BibTeX, but it is a social bookmarking service for scientists and humanities researchers.