Context-aware services; Global Positioning System; Mobile applications; Mobile communication; Mobile handsets; Petri nets; Testing; Colored Petri Net; Mobile; Petri Net; Test Sequence Generation;
机译:将带有定性令牌的彩色Petri网自动转换为带有定性令牌的彩色Petri网
机译:基于事件驱动的有色Petri网的UML序列图一致性测试的工具集
机译:使用彩色Petri网分析发布/订阅范式以进行自动分析
机译:使用彩色Petri Net实现针对移动应用程序的自动化测试序列生成
机译:Famulus-用于移动应用程序的自动化可用性测试系统。
机译:在大东京使用移动地理社交网络应用程序的男同性恋(MSM)男性的一生和近期艾滋病毒检测的流行率和相关性
机译:使用Supertrace算法和TESTGEN进行自动化的网络协议可达性分析:自动生成正式协议规范的测试序列
机译:有色petri网:它们的性质和应用。