Conformance test development with the Java modeling language
Summary In order to claim conformance with a Java Specification Request, a Java implementation has to pass all tests in an associated Technology Compatibility Kit. This paper presents a model‐based development of a Technology Compatibility Kit test suite and a test execution tool for the draft safet...
Gespeichert in:
| Veröffentlicht in: | Concurrency and computation Jg. 29; H. 22 |
|---|---|
| Hauptverfasser: | , , |
| Format: | Journal Article |
| Sprache: | Englisch |
| Veröffentlicht: |
Chichester, UK
John Wiley & Sons, Ltd
25.11.2017
Wiley Subscription Services, Inc |
| Schlagworte: | |
| ISSN: | 1532-0626, 1532-0634 |
| Online-Zugang: | Volltext |
| Tags: |
Tag hinzufügen
Keine Tags, Fügen Sie den ersten Tag hinzu!
|
| Abstract | Summary
In order to claim conformance with a Java Specification Request, a Java implementation has to pass all tests in an associated Technology Compatibility Kit. This paper presents a model‐based development of a Technology Compatibility Kit test suite and a test execution tool for the draft safety‐critical Java profile specification. The Java Modeling Language is used to model conformance constraints for the profile. Java Modeling Language annotations define contracts for classes and interfaces. The annotations are translated by a tool into runtime assertion checks. Hereby, the design and elaboration of the concrete test cases are simplified, because the expected results are derived from contracts and thus do not need to be provided explicitly. Bottom‐up testing is applied for testing methods of the safety‐critical Java classes, whereas top‐down testing is applied for testing global properties, such as protocols, memory management, and real‐time properties, including scheduling. The tests are executed using a simplified version of JUnit, which makes the test suite executable on resource‐constrained platforms. Copyright © 2017 John Wiley & Sons, Ltd. |
|---|---|
| AbstractList | Summary In order to claim conformance with a Java Specification Request, a Java implementation has to pass all tests in an associated Technology Compatibility Kit. This paper presents a model-based development of a Technology Compatibility Kit test suite and a test execution tool for the draft safety-critical Java profile specification. The Java Modeling Language is used to model conformance constraints for the profile. Java Modeling Language annotations define contracts for classes and interfaces. The annotations are translated by a tool into runtime assertion checks. Hereby, the design and elaboration of the concrete test cases are simplified, because the expected results are derived from contracts and thus do not need to be provided explicitly. Bottom-up testing is applied for testing methods of the safety-critical Java classes, whereas top-down testing is applied for testing global properties, such as protocols, memory management, and real-time properties, including scheduling. The tests are executed using a simplified version of JUnit, which makes the test suite executable on resource-constrained platforms. Copyright © 2017 John Wiley & Sons, Ltd. Summary In order to claim conformance with a Java Specification Request, a Java implementation has to pass all tests in an associated Technology Compatibility Kit. This paper presents a model‐based development of a Technology Compatibility Kit test suite and a test execution tool for the draft safety‐critical Java profile specification. The Java Modeling Language is used to model conformance constraints for the profile. Java Modeling Language annotations define contracts for classes and interfaces. The annotations are translated by a tool into runtime assertion checks. Hereby, the design and elaboration of the concrete test cases are simplified, because the expected results are derived from contracts and thus do not need to be provided explicitly. Bottom‐up testing is applied for testing methods of the safety‐critical Java classes, whereas top‐down testing is applied for testing global properties, such as protocols, memory management, and real‐time properties, including scheduling. The tests are executed using a simplified version of JUnit, which makes the test suite executable on resource‐constrained platforms. Copyright © 2017 John Wiley & Sons, Ltd. In order to claim conformance with a Java Specification Request, a Java implementation has to pass all tests in an associated Technology Compatibility Kit. This paper presents a model‐based development of a Technology Compatibility Kit test suite and a test execution tool for the draft safety‐critical Java profile specification. The Java Modeling Language is used to model conformance constraints for the profile. Java Modeling Language annotations define contracts for classes and interfaces. The annotations are translated by a tool into runtime assertion checks. Hereby, the design and elaboration of the concrete test cases are simplified, because the expected results are derived from contracts and thus do not need to be provided explicitly. Bottom‐up testing is applied for testing methods of the safety‐critical Java classes, whereas top‐down testing is applied for testing global properties, such as protocols, memory management, and real‐time properties, including scheduling. The tests are executed using a simplified version of JUnit, which makes the test suite executable on resource‐constrained platforms. Copyright © 2017 John Wiley & Sons, Ltd. |
| Author | Ravn, Anders P. Søndergaard, Hans Korsholm, Stephan E. |
| Author_xml | – sequence: 1 givenname: Hans surname: Søndergaard fullname: Søndergaard, Hans email: hso@via.dk organization: VIA University College – sequence: 2 givenname: Stephan E. surname: Korsholm fullname: Korsholm, Stephan E. organization: VIA University College – sequence: 3 givenname: Anders P. surname: Ravn fullname: Ravn, Anders P. organization: Aalborg University |
| BookMark | eNp1kE1LAzEQhoNUsK2CP2HBi5ddJ_vZgBdZ6hcFPeg5ZJNJu2U3WbNpS_-9WyseRE_zHp53ZngmZGSsQUIuKUQUIL6RHUYpFPSEjGmWxCHkSTr6yXF-RiZ9vwagFBI6JrelNdq6VhiJgcfeBwq32NiuReODXe1XgV9h8Cy2ImitwqY2y6ARZrkRSzwnp1o0PV58zyl5v5-_lY_h4uXhqbxbhDJmCQ1TGRdqSAqRKVA0hRlWmWbIpNJUqxSSKodKp1ihLnKWZ7KQM6WwoirPkCZTcnXc2zn7sRme5Gu7cWY4ySnLUmBxBmygoiMlne17h5rL2gtfW-OdqBtOgR8M8cEQPxgaCte_Cp2rW-H2f6HhEd3VDe7_5Xj5Ov_iPwHmq3br |
| CitedBy_id | crossref_primary_10_1002_cpe_4353 crossref_primary_10_1007_s10009_025_00794_1 crossref_primary_10_1007_s11219_023_09617_5 |
| Cites_doi | 10.1145/2388936.2388945 10.1145/367236.367262 10.1007/3-540-47993-7_10 10.1145/2512989.2512993 10.1145/2807426.2817926 10.1109/WCSE.2010.92 10.1145/960118.808380 10.1016/B978-0-12-396535-6.00001-6 10.1093/comjnl/bxt060 10.1145/2388936.2388946 10.1145/2661020.2661021 10.1109/2.774917 10.1007/s11241-013-9182-4 10.1145/1850771.1850793 10.1109/ISORC.2007.9 10.1007/978-3-540-30569-9_6 10.1145/2822304.2822307 10.1145/2388936.2388960 10.1007/978-3-642-55099-7_1 10.1145/1620405.1620427 10.1007/s11219-006-9001-4 10.1007/978-3-642-34117-5_1 10.1145/319295.319310 10.4204/EPTCS.149.8 10.1007/978-1-4615-5229-1_12 10.1145/956653.956654 10.1145/355588.365140 10.1145/1620405.1620428 10.1145/1127878.1127884 |
| ContentType | Journal Article |
| Copyright | Copyright © 2017 John Wiley & Sons, Ltd. |
| Copyright_xml | – notice: Copyright © 2017 John Wiley & Sons, Ltd. |
| DBID | AAYXX CITATION 7SC 8FD JQ2 L7M L~C L~D |
| DOI | 10.1002/cpe.4071 |
| DatabaseName | CrossRef Computer and Information Systems Abstracts Technology Research Database ProQuest Computer Science Collection Advanced Technologies Database with Aerospace Computer and Information Systems Abstracts Academic Computer and Information Systems Abstracts Professional |
| DatabaseTitle | CrossRef Computer and Information Systems Abstracts Technology Research Database Computer and Information Systems Abstracts – Academic Advanced Technologies Database with Aerospace ProQuest Computer Science Collection Computer and Information Systems Abstracts Professional |
| DatabaseTitleList | Computer and Information Systems Abstracts CrossRef |
| DeliveryMethod | fulltext_linktorsrc |
| Discipline | Computer Science |
| EISSN | 1532-0634 |
| EndPage | n/a |
| ExternalDocumentID | 10_1002_cpe_4071 CPE4071 |
| Genre | article |
| GroupedDBID | .3N .DC .GA 05W 0R~ 10A 1L6 1OC 33P 3SF 3WU 4.4 50Y 50Z 51W 51X 52M 52N 52O 52P 52S 52T 52U 52W 52X 5GY 5VS 66C 702 7PT 8-0 8-1 8-3 8-4 8-5 8UM 930 A03 AAESR AAEVG AAHHS AAHQN AAMNL AANLZ AAONW AASGY AAXRX AAYCA AAZKR ABCQN ABCUV ABEML ABIJN ACAHQ ACCFJ ACCZN ACPOU ACSCC ACXBN ACXQS ADBBV ADEOM ADIZJ ADKYN ADMGS ADOZA ADXAS ADZMN ADZOD AEEZP AEIGN AEIMD AEQDE AEUQT AEUYR AFBPY AFFPM AFGKR AFPWT AFWVQ AHBTC AITYG AIURR AIWBW AJBDE AJXKR ALMA_UNASSIGNED_HOLDINGS ALUQN ALVPJ AMBMR AMYDB ATUGU AUFTA AZBYB BAFTC BDRZF BFHJK BHBCM BMNLL BROTX BRXPI BY8 CS3 D-E D-F DCZOG DPXWK DR2 DRFUL DRSTM EBS EJD F00 F01 F04 F5P G-S G.N GNP GODZA HGLYW HHY HZ~ IX1 JPC KQQ LATKE LAW LC2 LC3 LEEKS LH4 LITHE LOXES LP6 LP7 LUTES LW6 LYRES MEWTI MK4 MRFUL MRSTM MSFUL MSSTM MXFUL MXSTM N04 N05 N9A O66 O9- OIG P2W P2X P4D PQQKQ Q.N Q11 QB0 QRW R.K ROL RWI RX1 SUPJJ TN5 UB1 V2E W8V W99 WBKPD WIH WIK WOHZO WQJ WRC WXSBR WYISQ WZISG XG1 XV2 ~IA ~WT AAYXX ADMLS AEYWJ AGHNM AGYGG CITATION O8X 7SC 8FD JQ2 L7M L~C L~D |
| ID | FETCH-LOGICAL-c2931-4c27d293dee9d0d1408eb5f9e9cdf1fd403b60bf4ebef76965c7c8ddeb1d65e13 |
| IEDL.DBID | DRFUL |
| ISICitedReferencesCount | 3 |
| ISICitedReferencesURI | http://www.webofscience.com/api/gateway?GWVersion=2&SrcApp=Summon&SrcAuth=ProQuest&DestLinkType=CitingArticles&DestApp=WOS_CPL&KeyUT=000413540200014&url=https%3A%2F%2Fcvtisr.summon.serialssolutions.com%2F%23%21%2Fsearch%3Fho%3Df%26include.ft.matches%3Dt%26l%3Dnull%26q%3D |
| ISSN | 1532-0626 |
| IngestDate | Sun Jul 13 04:05:28 EDT 2025 Sat Nov 29 01:41:17 EST 2025 Tue Nov 18 20:06:00 EST 2025 Wed Jan 22 16:25:07 EST 2025 |
| IsPeerReviewed | true |
| IsScholarly | true |
| Issue | 22 |
| Language | English |
| License | http://onlinelibrary.wiley.com/termsAndConditions#vor |
| LinkModel | DirectLink |
| MergedId | FETCHMERGED-LOGICAL-c2931-4c27d293dee9d0d1408eb5f9e9cdf1fd403b60bf4ebef76965c7c8ddeb1d65e13 |
| Notes | ObjectType-Article-1 SourceType-Scholarly Journals-1 ObjectType-Feature-2 content type line 14 |
| PQID | 1954092509 |
| PQPubID | 2045170 |
| PageCount | 32 |
| ParticipantIDs | proquest_journals_1954092509 crossref_citationtrail_10_1002_cpe_4071 crossref_primary_10_1002_cpe_4071 wiley_primary_10_1002_cpe_4071_CPE4071 |
| PublicationCentury | 2000 |
| PublicationDate | 25 November 2017 |
| PublicationDateYYYYMMDD | 2017-11-25 |
| PublicationDate_xml | – month: 11 year: 2017 text: 25 November 2017 day: 25 |
| PublicationDecade | 2010 |
| PublicationPlace | Chichester, UK |
| PublicationPlace_xml | – name: Chichester, UK – name: Hoboken |
| PublicationTitle | Concurrency and computation |
| PublicationYear | 2017 |
| Publisher | John Wiley & Sons, Ltd Wiley Subscription Services, Inc |
| Publisher_xml | – name: John Wiley & Sons, Ltd – name: Wiley Subscription Services, Inc |
| References | 2006; 31 1979; 14 2013; 49 2012 1960; 3 2011 2010 1964; 7 2009 2008 2007 2006 2005 2003 2002 1978; 13 2007; 15 1999 2013; 2013 2000 1999; 32 2014; 57 1998; 3 2016 2015 2014 2013 2012; 86 1988 e_1_2_8_28_1 e_1_2_8_24_1 e_1_2_8_47_1 e_1_2_8_26_1 e_1_2_8_49_1 Bollella G (e_1_2_8_13_1) 2000 e_1_2_8_3_1 e_1_2_8_5_1 e_1_2_8_7_1 Zimmerman DM (e_1_2_8_61_1) 2011 e_1_2_8_20_1 e_1_2_8_43_1 e_1_2_8_22_1 e_1_2_8_45_1 e_1_2_8_41_1 e_1_2_8_60_1 e_1_2_8_17_1 e_1_2_8_19_1 e_1_2_8_36_1 e_1_2_8_59_1 e_1_2_8_15_1 e_1_2_8_38_1 e_1_2_8_57_1 Schoeberl M (e_1_2_8_9_1) e_1_2_8_32_1 e_1_2_8_55_1 e_1_2_8_11_1 e_1_2_8_51_1 e_1_2_8_30_1 e_1_2_8_29_1 e_1_2_8_25_1 e_1_2_8_46_1 Jackson D (e_1_2_8_53_1) 2006 e_1_2_8_27_1 e_1_2_8_2_1 e_1_2_8_4_1 Leavens GT (e_1_2_8_34_1) 1999 e_1_2_8_6_1 e_1_2_8_8_1 e_1_2_8_21_1 e_1_2_8_42_1 e_1_2_8_23_1 e_1_2_8_44_1 Burns A (e_1_2_8_33_1) 2009 e_1_2_8_40_1 Beust C (e_1_2_8_48_1) 2008 e_1_2_8_18_1 e_1_2_8_39_1 e_1_2_8_14_1 Meyer B (e_1_2_8_35_1) 1988 e_1_2_8_37_1 e_1_2_8_58_1 e_1_2_8_31_1 e_1_2_8_56_1 Korsholm SE (e_1_2_8_10_1) 2013; 2013 e_1_2_8_12_1 e_1_2_8_54_1 Beck K (e_1_2_8_16_1) 1998; 3 e_1_2_8_52_1 e_1_2_8_50_1 |
| References_xml | – start-page: 183 year: 2011 end-page: 197 – year: 2009 – article-title: Safety‐Critical Java for Embedded Systems. publication-title: Concurrency and Computation: Practice & Experience – volume: 3 start-page: 51 issue: 7 year: 1998 end-page: 56 article-title: Test infected: programmers love writing tests publication-title: Java Report – start-page: 79 year: 2014 end-page: 92 – start-page: 94 year: 2007 end-page: 101 – volume: 49 start-page: 614 issue: 5 year: 2013 end-page: 667 article-title: Safety‐critical Java programs from Circus models publication-title: Real‐Time Systems – start-page: 155 year: 2010 end-page: 163 – start-page: 1 year: 2012 end-page: 18 – start-page: 87 year: 2008 end-page: 94 – volume: 13 start-page: 165 issue: 8 year: 1978 end-page: 180 article-title: The history of FORTRAN I, II, and III publication-title: SIGPLAN Notices – year: 2003 – start-page: 1 year: 2014 end-page: 26 – year: 2000 – start-page: 231 year: 2002 end-page: 255 – start-page: 175 year: 1999 end-page: 188 – start-page: 287 year: 2010 end-page: 292 – volume: 2013 start-page: 1 year: 2013 end-page: 25 article-title: A real‐time Java tool chain for resource constrained platforms publication-title: Concurrency and Computation: Practice & Experience – start-page: 108 year: 2005 end-page: 128 – year: 2016 – year: 2014 – start-page: 145 year: 2012 end-page: 154 – start-page: 80 year: 2013 end-page: 88 – start-page: 1:1 year: 2014 end-page: 1:9 – volume: 7 start-page: 735 issue: 12 year: 1964 end-page: 736 article-title: Backus normal form vs. Backus Naur form publication-title: Communications of the ACM – volume: 14 start-page: 1 issue: 6b year: 1979 end-page: 261 article-title: Rationale for the design of the Ada programming language publication-title: SIGPLAN Notices – start-page: 54 year: 2012 end-page: 61 – start-page: 150 year: 2009 end-page: 159 – year: 1988 – year: 2008 – year: 2006 – volume: 32 start-page: 38 issue: 7 year: 1999 end-page: 45 article-title: Making components contract aware publication-title: Computer – start-page: 44 year: 2012 end-page: 53 – volume: 57 start-page: 1046 issue: 7 year: 2014 end-page: 1091 article-title: models for safety‐critical java programs publication-title: Computer Journal – volume: 31 start-page: 1 issue: 3 year: 2006 end-page: 38 article-title: Preliminary design of JML: a behavioral interface specification language for Java publication-title: SIGSOFT Software Engineering Notes – volume: 15 start-page: 7 issue: 1 year: 2007 end-page: 25 article-title: Specifying and checking method call sequences of Java programs publication-title: Software Quality Journal – volume: 86 start-page: 1 year: 2012 end-page: 39 article-title: Model‐based testing: achievements and future challenges publication-title: Advances in Computers – volume: 3 start-page: 299 issue: 5 year: 1960 end-page: 314 article-title: Report on the algorithmic language algol 60 publication-title: Communications of the ACM – year: 2015 – start-page: 89 year: 1999 end-page: 99 – start-page: 160 year: 2009 end-page: 168 – ident: e_1_2_8_7_1 doi: 10.1145/2388936.2388945 – ident: e_1_2_8_22_1 doi: 10.1145/367236.367262 – ident: e_1_2_8_45_1 – ident: e_1_2_8_31_1 – ident: e_1_2_8_21_1 doi: 10.1007/3-540-47993-7_10 – ident: e_1_2_8_14_1 doi: 10.1145/2512989.2512993 – ident: e_1_2_8_44_1 doi: 10.1145/2807426.2817926 – volume: 3 start-page: 51 issue: 7 year: 1998 ident: e_1_2_8_16_1 article-title: Test infected: programmers love writing tests publication-title: Java Report – ident: e_1_2_8_46_1 doi: 10.1109/WCSE.2010.92 – ident: e_1_2_8_3_1 – ident: e_1_2_8_24_1 doi: 10.1145/960118.808380 – ident: e_1_2_8_17_1 doi: 10.1016/B978-0-12-396535-6.00001-6 – volume: 2013 start-page: 1 year: 2013 ident: e_1_2_8_10_1 article-title: A real‐time Java tool chain for resource constrained platforms publication-title: Concurrency and Computation: Practice & Experience – ident: e_1_2_8_59_1 doi: 10.1093/comjnl/bxt060 – volume-title: The Real‐Time Specification for Java year: 2000 ident: e_1_2_8_13_1 – ident: e_1_2_8_12_1 doi: 10.1145/2388936.2388946 – ident: e_1_2_8_28_1 – ident: e_1_2_8_32_1 – ident: e_1_2_8_36_1 – ident: e_1_2_8_15_1 doi: 10.1145/2661020.2661021 – volume-title: Software Abstractions: Logic, Language, and Analysis year: 2006 ident: e_1_2_8_53_1 – ident: e_1_2_8_4_1 – ident: e_1_2_8_39_1 doi: 10.1109/2.774917 – ident: e_1_2_8_58_1 doi: 10.1007/s11241-013-9182-4 – ident: e_1_2_8_9_1 article-title: Safety‐Critical Java for Embedded Systems. publication-title: Concurrency and Computation: Practice & Experience – start-page: 175 volume-title: Jml: A notation for detailed design year: 1999 ident: e_1_2_8_34_1 – ident: e_1_2_8_42_1 doi: 10.1145/1850771.1850793 – ident: e_1_2_8_5_1 doi: 10.1109/ISORC.2007.9 – ident: e_1_2_8_55_1 doi: 10.1007/978-3-540-30569-9_6 – ident: e_1_2_8_60_1 doi: 10.1145/2822304.2822307 – ident: e_1_2_8_50_1 – ident: e_1_2_8_26_1 – ident: e_1_2_8_57_1 doi: 10.1145/2388936.2388960 – volume-title: Object‐Oriented Software Construction year: 1988 ident: e_1_2_8_35_1 – ident: e_1_2_8_20_1 – ident: e_1_2_8_41_1 doi: 10.1007/978-3-642-55099-7_1 – ident: e_1_2_8_11_1 – ident: e_1_2_8_56_1 – ident: e_1_2_8_6_1 doi: 10.1145/1620405.1620427 – ident: e_1_2_8_51_1 – ident: e_1_2_8_54_1 doi: 10.1145/2807426.2817926 – ident: e_1_2_8_40_1 doi: 10.1007/s11219-006-9001-4 – ident: e_1_2_8_43_1 – ident: e_1_2_8_25_1 – ident: e_1_2_8_52_1 doi: 10.1007/978-3-642-34117-5_1 – ident: e_1_2_8_30_1 doi: 10.1145/319295.319310 – ident: e_1_2_8_2_1 – ident: e_1_2_8_47_1 doi: 10.4204/EPTCS.149.8 – ident: e_1_2_8_27_1 – ident: e_1_2_8_18_1 doi: 10.1007/978-1-4615-5229-1_12 – ident: e_1_2_8_29_1 doi: 10.1145/956653.956654 – volume-title: Real‐Time Systems and Programming Languages: Ada, Real‐Time Java and C/Real‐Time POSIX year: 2009 ident: e_1_2_8_33_1 – volume-title: Next Generation Java Testing: TestNG and Advanced Concepts year: 2008 ident: e_1_2_8_48_1 – ident: e_1_2_8_23_1 doi: 10.1145/355588.365140 – ident: e_1_2_8_8_1 – ident: e_1_2_8_38_1 – ident: e_1_2_8_49_1 – ident: e_1_2_8_37_1 doi: 10.1145/1620405.1620428 – ident: e_1_2_8_19_1 doi: 10.1145/1127878.1127884 – start-page: 183 year: 2011 ident: e_1_2_8_61_1 |
| SSID | ssj0011031 |
| Score | 2.159305 |
| Snippet | Summary
In order to claim conformance with a Java Specification Request, a Java implementation has to pass all tests in an associated Technology Compatibility... In order to claim conformance with a Java Specification Request, a Java implementation has to pass all tests in an associated Technology Compatibility Kit.... Summary In order to claim conformance with a Java Specification Request, a Java implementation has to pass all tests in an associated Technology Compatibility... |
| SourceID | proquest crossref wiley |
| SourceType | Aggregation Database Enrichment Source Index Database Publisher |
| SubjectTerms | Annotations Compatibility conformance test Constraint modelling Contracts formal specification Java Java Modeling Language Memory management Modelling model‐based testing real‐time Java Safety critical safety‐critical Java Scheduling Specifications Technology Compatibility Kit test Test procedures |
| Title | Conformance test development with the Java modeling language |
| URI | https://onlinelibrary.wiley.com/doi/abs/10.1002%2Fcpe.4071 https://www.proquest.com/docview/1954092509 |
| Volume | 29 |
| WOSCitedRecordID | wos000413540200014&url=https%3A%2F%2Fcvtisr.summon.serialssolutions.com%2F%23%21%2Fsearch%3Fho%3Df%26include.ft.matches%3Dt%26l%3Dnull%26q%3D |
| hasFullText | 1 |
| inHoldings | 1 |
| isFullTextHit | |
| isPrint | |
| journalDatabaseRights | – providerCode: PRVWIB databaseName: Wiley Online Library Full Collection 2020 customDbUrl: eissn: 1532-0634 dateEnd: 99991231 omitProxy: false ssIdentifier: ssj0011031 issn: 1532-0626 databaseCode: DRFUL dateStart: 20010101 isFulltext: true titleUrlDefault: https://onlinelibrary.wiley.com providerName: Wiley-Blackwell |
| link | http://cvtisr.summon.serialssolutions.com/2.0.0/link/0/eLvHCXMwpV1LSwMxEB609eDF-sRqlQiip9hs9hnwItoiUkTEQm9LJg8QpJa29veb7KNVUBA87R4msExmMt_MZr4BOA8lZygZ0kiEhkaZiKhk1tIME56itXGIBbv-IH18zEYj8VTdqvS9MCU_xLLg5j2jOK-9g0ucdVekoWpirnw2sg5N7sw2akDz7rk_HCz_IfgBBiVbKqfM4faaepbxbr32ezBaIcyvOLUINP3Wfz5xG7YqeEluSnvYgTUz3oVWPbqBVJ68B9e-069qGCAObc6JXt0eIr44SxwyJA9yIUkxLMdFOFLXNvdh2O-93N7TapACVS6auxxR8VS7N22M0Ey7nCozGFthhNI2sDpiISYMbeR21KaJSGKVqswdfBjoJDZBeACN8fvYHAJBGQtrGMaCychwRF8PQeFQF8ck5LINl7VGc1WxjPthF295yY_Mc6eU3CulDWdLyUnJrPGDTKfelLzyrVnuOeqYcNBNtOGiUP-v6_Pbp55_Hv1V8Bg2uY_bQUB53IHGfPphTmBDLeavs-lpZWGf1WXU8w |
| linkProvider | Wiley-Blackwell |
| linkToHtml | http://cvtisr.summon.serialssolutions.com/2.0.0/link/0/eLvHCXMwpV3dS8MwED_mJuiL8xOnUyOIPtWladM26IvMjalzDNlgb6FpEhBkjm3u7zfpx6agIPjUPlygXO5yv7vmfgdw4cUEixgLx2eecvyI-U6MtXYiEZBQaE09kbLrd8NeLxqNWL8EN0UvTMYPsSy4Wc9Iz2vr4LYg3VixhiYTdW3TkTWo-MaKaBkq9y_tYXf5E8FOMMjoUomDDXAvuGcxaRRrv0ejFcT8ClTTSNOu_usbt2ErB5joLrOIHSip8S5Ui-ENKPflPbi1vX55ywAyeHOO5Or-ELLlWWSwIXqMFzFKx-WYGIeK6uY-DNutQbPj5KMUnMTEc5MlJiSU5k0qxSSWJquKlKCaKZZI7WrpY08EWGjf7KkOAxbQJEwic_QJVwZUud4BlMfvY3UISMSUaYUFZTj2FRHCVkQEM7iLiMAjcQ2uCpXyJOcZt-Mu3njGkEy4UQq3SqnB-VJyknFr_CBTL3aF594145alDjMD3lgNLlP9_7qeN_st-zz6q-AZbHQGz13efeg9HcMmsVHcdR1C61CeTz_UCawni_nrbHqam9snmsDY4w |
| linkToPdf | http://cvtisr.summon.serialssolutions.com/2.0.0/link/0/eLvHCXMwpV1LSwMxEB5qK-LF-sRq1Qiip7XZ7DPoRdouPkopYqG3JU8QpJa29veb7KNVUBA8ZQ8TWCaZzDeTzDcAFx4jmDPMHZ96yvFj6jsMa-3EPCQR1zrweMau34v6_Xg0ooMK3JS1MDk_xDLhZi0jO6-tgauJ1K0Va6iYqGsbjqxBzQ9oaKyy1nlOhr3lJYLtYJDTpRIHG-Becs9i0irnfvdGK4j5Fahmniap_-sft2GrAJjoLt8RO1BR412ol80bUGHLe3Bra_2KkgFk8OYcydX7IWTTs8hgQ_TIFgxl7XKMj0NldnMfhkn3pX3vFK0UHGH8uYkSBYmk-ZJKUYmliapixQNNFRVSu1r62OMh5to3a6qjkIaBiERsjj7uyjBQrncA1fH7WB0C4iygWmEeUMx8RTi3GRFODe4iPPQIa8BVqdJUFDzjtt3FW5ozJJPUKCW1SmnA-VJyknNr_CDTLFclLaxrllqWOkwNeKMNuMz0_-v8tD3o2vHor4JnsDHoJGnvof90DJvEOnHXdUjQhOp8-qFOYF0s5q-z6Wmx2z4BX-bYXg |
| openUrl | ctx_ver=Z39.88-2004&ctx_enc=info%3Aofi%2Fenc%3AUTF-8&rfr_id=info%3Asid%2Fsummon.serialssolutions.com&rft_val_fmt=info%3Aofi%2Ffmt%3Akev%3Amtx%3Ajournal&rft.genre=article&rft.atitle=Conformance+test+development+with+the+Java+modeling+language&rft.jtitle=Concurrency+and+computation&rft.au=S%C3%B8ndergaard%2C+Hans&rft.au=Korsholm%2C+Stephan+E.&rft.au=Ravn%2C+Anders+P.&rft.date=2017-11-25&rft.pub=John+Wiley+%26+Sons%2C+Ltd&rft.issn=1532-0626&rft.eissn=1532-0634&rft.volume=29&rft.issue=22&rft.epage=n%2Fa&rft_id=info:doi/10.1002%2Fcpe.4071&rft.externalDBID=10.1002%252Fcpe.4071&rft.externalDocID=CPE4071 |
| thumbnail_l | http://covers-cdn.summon.serialssolutions.com/index.aspx?isbn=/lc.gif&issn=1532-0626&client=summon |
| thumbnail_m | http://covers-cdn.summon.serialssolutions.com/index.aspx?isbn=/mc.gif&issn=1532-0626&client=summon |
| thumbnail_s | http://covers-cdn.summon.serialssolutions.com/index.aspx?isbn=/sc.gif&issn=1532-0626&client=summon |