Constructing compact models of concurrent Java programs

被引：0
|
作者：
Department of Information and Computer Science, University of Hawai'i, Honolulu [1 ]
HI
96822, United States
机构：
来源：
Proc. ACM SIGSOFT Int. Symp. Softw. Test. Anal., ISSTA | 1600年 / 1-10期
关键词：
All Open Access; Bronze;
D O I：
1998 ACM SIGSOFT International Symposium on Software Testing and Analysis, ISSTA 1998
中图分类号：
学科分类号：
摘要：
Model checking
引用
收藏
相关论文
共 50 条
  • [31] Dynamic slicing concurrent java']java programs using variable cache table
    He Zhixue
    Mang Guangquan
    Rong Mei
    ADVANCED COMPUTER TECHNOLOGY, NEW EDUCATION, PROCEEDINGS, 2007, : 363 - 369
  • [32] A Divide & Conquer Approach to Testing Concurrent Java']Java Programs with JPF and Maude
    Do, Canh Minh
    Ogata, Kazuhiro
    STRUCTURED OBJECT-ORIENTED FORMAL LANGUAGE AND METHOD (SOFL+MSVL 2019), 2020, 12028 : 42 - 58
  • [33] Constructing subtle higher order mutants for Java and AspectJ programs
    Omar, Elmahdi
    Ghosh, Sudipto
    Whitley, Darrell
    2013 IEEE 24th International Symposium on Software Reliability Engineering, ISSRE 2013, 2013, : 340 - 349
  • [34] Circus Models for Safety-Critical Java']Java Programs
    Zeyda, Frank
    Lalkhumsanga, Lalkhumsanga
    Cavalcanti, Ana
    Wellings, Andy
    COMPUTER JOURNAL, 2014, 57 (07): : 1046 - 1091
  • [35] Synthesis of verifiable concurrent Java']Java components from formal models
    Marino, Julio
    Alborodo, Raul N. N.
    Fredlund, Lars-Ake
    Herranz, Angel
    SOFTWARE AND SYSTEMS MODELING, 2019, 18 (01): : 71 - 105
  • [36] Anomaly detection in concurrent Java']Java programs using dynamic data flow analysis
    Saleh, K
    Boujarwah, AA
    Al-Dallal, J
    INFORMATION AND SOFTWARE TECHNOLOGY, 2001, 43 (15) : 973 - 981
  • [37] JaVis: A UML-based visualization and debugging environment for concurrent Java']Java programs
    Mehner, K
    SOFTWARE VISUALIZATION, 2002, 2269 : 163 - 175
  • [38] Efficient computation of May-Happen-in-Parallel information for concurrent Java']Java programs
    Barik, Rajkishore
    LANGUAGES AND COMPILERS FOR PARALLEL COMPUTING, 2006, 4339 : 152 - 169
  • [39] Concolic testing based on dynamic slicing of concurrent Java programs
    Pu, Fangli
    Lu, Yansheng
    Huazhong Keji Daxue Xuebao (Ziran Kexue Ban)/Journal of Huazhong University of Science and Technology (Natural Science Edition), 2009, 37 (10): : 21 - 24
  • [40] Extracting Static and Dynamic Structural Information from Java']Java Concurrent Programs for Coverage Testing
    Prado, Rafael R.
    Souza, Paulo S. L.
    Dourado, George G. M.
    Souza, Simone R. S.
    Estrella, Julio C.
    Bruschi, Sarita M.
    Lourenco, Joao
    2015 XLI LATIN AMERICAN COMPUTING CONFERENCE (CLEI), 2015, : 667 - 674
12345