位置：成果数据库 > 会议 > 会议详情页
Bahvior checking of web applications after testing
  • 所属机构名称：浙江理工大学
  • 会议名称：ICEIE2010
  • 成果类型：会议
  • 相关项目：基于常微分方程的程序死锁检测研究
作者： 丁佐华|Mingyue Jiang|
同会议论文项目
基于常微分方程的程序死锁检测研究
期刊论文 10 会议论文 28
同项目会议论文
Model Driven Synthesis of Behavioral Models from Textual Use Cases
Applying Fuzzy Differential Equations to the Performance Analysis of Service Composition
A New Approach To Measure Software Security
Modeling and Behavior Checking of Component Based Architecture
Requirement checking: Generating uses cases out of navigational logs in Web applications
Hypergraph Partitioning for the Parallel Computation of Continuous Petri Nets
An Improvement of Software Architecture Verification
Design and Verification of a Trustable Medical System
Model Checking Service Component Composition By SPIN
Analysis for User Behavior Prediction Based on Markov Models
From textual use cases to message sequence charts
From Message Sequence Charts to Service Component Model
From Textual Use Cases to Service Component Models
基于GCL语言的测试用例生成方法
一种从文本用例自动生成构建模型的方法
Modelling and Verification of Port Based Component Composition
Measuring the Survivability of Object-Oriented Software
Test Case Generation of Concurrent Programs Based on Event Graph
Test Generation Bsed on Notated Net
Modelling and Verification of Web Navigation
Rebuilding Web Application Requirements Based On User Navigation
Automatically Testing Web Services Choreography with Assertions
Applying Ordinary Differential Equations To The Performance Analysis of Service Composition
Static Analysis of Concurrent Programs Using Ordinary Differential Equations(Key Note)
Port Based Reliability Computing For Service Composition
Test Data Generation for Derived Types in C Program
Path-based Approach to Integration Testing