BibSonomy

The blue social bookmark and publication sharing system.

( en | de | ru )

 

group
  • tag
  • user
  • group
  • author
  • concept
  • BibTeX key
  • search
ist_spl
  • sign in
  • register
  • groups
  • genealogy
  • popular 
    • posts
    • tags
    • authors
    • concepts
    • discussions
  • sign in
  • register

Login

Log in with your username.

@

I've lost my password.


Log in with your OpenID-Provider.

  • Other OpenID-Provider
  1. group
  2. ist_spl
  3. UML category-partition specification

Publication title

bookmarks  (hide)
  • display
  • all
  • bookmarks only
  • bookmarks per page
  • 5
  • 10
  • 20
  • 50
  • 100
  • sort by
  • added at
  • title
  • RSS
  • BibTeX
  • XML

    No matching posts.
  • ⟨⟨
  • ⟨
  • ⟩
  • ⟩⟩

publications  (hide)1  
  • display
  • all
  • publications only
  • publications per page
  • 5
  • 10
  • 20
  • 50
  • 100
  • sort by
  • added at
  • title
  • author
  • publication date
  • entry type
  • help for advanced sorting...
  • RSS
  • BibTeX
  • RDF
  • more...

  •  

     
    1Generating test cases from UML activity diagram based on Gray-box method
     

    W. Linzhang, Y. Jiesong, Y. Xiaofeng, H. Jun, L. Xuandong, and Z. Guoliang. Software Engineering Conference, 2004. 11th Asia-Pacific, page 284- 291. (2004)
    18 years ago by @ist_spl
    show all tags
    • formal
    • UML
    • gray-box
    • activity
    • diagrams
    • testing
    • specification
    • category-partition
    • tools
     
      formalUMLgray-boxactivitydiagramstestingspecificationcategory-partitiontools
      copydeleteadd this publication to your clipboard
      • community post
      • history of this post
      • URL
      • DOI
      • BibTeX
      • EndNote
      • APA
      • Chicago
      • DIN 1505
      • Harvard
      • MSOffice XML
       
       
    • ⟨⟨
    • ⟨
    • 1
    • ⟩
    • ⟩⟩

    ist_spl

    @ist_spl

    CVexplore
    join

    browse

    • UML category-partition specification as tag from all users
    • UML as concept from group ist_spl
    • UML category-partition specification as concept from group ist_spl

    related tags

    • + | formal
    • + | gray-box
    • + | activity
    • + | diagrams
    • + | testing
    • + | tools

    tags

    • testing
    • UML
    • activity
    • diagrams
    • Use-Cases
    • automated
    • test
    • generation
    • MBT
    • fundamentals
    • software
    • model
    • systemtest
    • formal
    • category-partition
    • line
    • product
    • programming
    • specification-based
    • oracle
    • based
    • case
    • OCL
    • black-box
    • tools
    • tool
    • data
    • diss
    • coverage
    • methods
    • wsn
    • GUI
    • symbolic
    • java
    • engineering
    • mbt
    • requirements
    • statecharts
    • flowgraph
    • statemachine
    • IT_book
    • ioco
    • ScenTED
    • class
    • singlesystem
    • Java
    • diagram
    • checking
    • variability
    • model-based
    What is BibSonomy?
    Getting Started
    Browser Buttons
    Help
    Developer
    Overview
    API Documentation
    Contact & Privacy
    Contact
    Privacy & Terms of Use
    Cookies
    Report Issues
    BibSonomy Wiki
    Integration
    PUMA
    TYPO3 Extension
    WordPress Plugin
    Java REST Client
    Supported Sites
    more
    About BibSonomy
    Team
    Blog
    Mailing List
    Social Media
     Follow us on Twitter

    BibSonomy is offered by the Data Science Chair of the University of Würzburg, the Information Processing and Analytics Group of the Humboldt-Unversität zu Berlin, the KDE Group of the University of Kassel, and the L3S Research Center.