Development of a Tool for Extended Place/Transition Net-Based Mutation Testing and Its Application Example
Abstract This paper shows a tool for EPN (Extended Place/transition Net)-based mutation testing to evaluate and improve the quality of a test suite for concurrent software. The tool includes functions for (1) construction of an original EPN that represents the expected behavior of concurrent softwar...
Ausführliche Beschreibung
Gespeichert in:
| Autor*in: |
Takagi, Tomohiko [verfasserIn] |
|---|
| Format: |
E-Artikel |
|---|---|
| Sprache: |
Englisch |
| Erschienen: |
2017 |
|---|
| Schlagwörter: |
|---|
| Anmerkung: |
© the Authors 2017 |
|---|
| Übergeordnetes Werk: |
Enthalten in: Journal of Robotics, Networking and Artificial Life - Springer Netherlands, 2014, 4(2017), 2 vom: 01. Sept., Seite 168-174 |
|---|---|
| Übergeordnetes Werk: |
volume:4 ; year:2017 ; number:2 ; day:01 ; month:09 ; pages:168-174 |
| Links: |
|---|
| DOI / URN: |
10.2991/jrnal.2017.4.2.14 |
|---|
| Katalog-ID: |
SPR055085156 |
|---|
| LEADER | 01000naa a22002652 4500 | ||
|---|---|---|---|
| 001 | SPR055085156 | ||
| 003 | DE-627 | ||
| 005 | 20240309064752.0 | ||
| 007 | cr uuu---uuuuu | ||
| 008 | 240309s2017 xx |||||o 00| ||eng c | ||
| 024 | 7 | |a 10.2991/jrnal.2017.4.2.14 |2 doi | |
| 035 | |a (DE-627)SPR055085156 | ||
| 035 | |a (SPR)jrnal.2017.4.2.14-e | ||
| 040 | |a DE-627 |b ger |c DE-627 |e rakwb | ||
| 041 | |a eng | ||
| 100 | 1 | |a Takagi, Tomohiko |e verfasserin |4 aut | |
| 245 | 1 | 0 | |a Development of a Tool for Extended Place/Transition Net-Based Mutation Testing and Its Application Example |
| 264 | 1 | |c 2017 | |
| 336 | |a Text |b txt |2 rdacontent | ||
| 337 | |a Computermedien |b c |2 rdamedia | ||
| 338 | |a Online-Ressource |b cr |2 rdacarrier | ||
| 500 | |a © the Authors 2017 | ||
| 520 | |a Abstract This paper shows a tool for EPN (Extended Place/transition Net)-based mutation testing to evaluate and improve the quality of a test suite for concurrent software. The tool includes functions for (1) construction of an original EPN that represents the expected behavior of concurrent software under test, (2) construction of mutant EPNs by applying mutation operators to the original EPN, (3) execution of a test suite on each mutant EPN in order to calculate its mutation score, and so on. If the mutation score is not good, the test suite can be improved based on mutant EPNs that have not been killed. The tool was applied to an example of non-trivial software, and it was found that the effectiveness of PN (Place/transition Net)-based mutation testing would be improved by achieving (a) the higher representation power of a PN by the introduction of actions and guards, and (b) the semi-automation by the tool. | ||
| 650 | 4 | |a Software Testing |7 (dpeaa)DE-He213 | |
| 650 | 4 | |a Mutation Testing |7 (dpeaa)DE-He213 | |
| 650 | 4 | |a Model-Based Testing |7 (dpeaa)DE-He213 | |
| 650 | 4 | |a Vienna Development Method |7 (dpeaa)DE-He213 | |
| 700 | 1 | |a Morimoto, Shogo |4 aut | |
| 700 | 1 | |a Katayama, Tetsuro |4 aut | |
| 773 | 0 | 8 | |i Enthalten in |t Journal of Robotics, Networking and Artificial Life |d Springer Netherlands, 2014 |g 4(2017), 2 vom: 01. Sept., Seite 168-174 |w (DE-627)1005552487 |w (DE-600)2912430-X |x 2352-6386 |7 nnns |
| 773 | 1 | 8 | |g volume:4 |g year:2017 |g number:2 |g day:01 |g month:09 |g pages:168-174 |
| 856 | 4 | 0 | |u https://dx.doi.org/10.2991/jrnal.2017.4.2.14 |z kostenfrei |3 Volltext |
| 912 | |a GBV_USEFLAG_A | ||
| 912 | |a SYSFLAG_A | ||
| 912 | |a GBV_SPRINGER | ||
| 912 | |a GBV_ILN_11 | ||
| 912 | |a GBV_ILN_20 | ||
| 912 | |a GBV_ILN_22 | ||
| 912 | |a GBV_ILN_23 | ||
| 912 | |a GBV_ILN_24 | ||
| 912 | |a GBV_ILN_31 | ||
| 912 | |a GBV_ILN_39 | ||
| 912 | |a GBV_ILN_40 | ||
| 912 | |a GBV_ILN_60 | ||
| 912 | |a GBV_ILN_62 | ||
| 912 | |a GBV_ILN_63 | ||
| 912 | |a GBV_ILN_65 | ||
| 912 | |a GBV_ILN_69 | ||
| 912 | |a GBV_ILN_70 | ||
| 912 | |a GBV_ILN_73 | ||
| 912 | |a GBV_ILN_95 | ||
| 912 | |a GBV_ILN_105 | ||
| 912 | |a GBV_ILN_110 | ||
| 912 | |a GBV_ILN_151 | ||
| 912 | |a GBV_ILN_161 | ||
| 912 | |a GBV_ILN_170 | ||
| 912 | |a GBV_ILN_213 | ||
| 912 | |a GBV_ILN_230 | ||
| 912 | |a GBV_ILN_285 | ||
| 912 | |a GBV_ILN_293 | ||
| 912 | |a GBV_ILN_370 | ||
| 912 | |a GBV_ILN_602 | ||
| 912 | |a GBV_ILN_2014 | ||
| 912 | |a GBV_ILN_4012 | ||
| 912 | |a GBV_ILN_4037 | ||
| 912 | |a GBV_ILN_4112 | ||
| 912 | |a GBV_ILN_4125 | ||
| 912 | |a GBV_ILN_4126 | ||
| 912 | |a GBV_ILN_4249 | ||
| 912 | |a GBV_ILN_4305 | ||
| 912 | |a GBV_ILN_4306 | ||
| 912 | |a GBV_ILN_4307 | ||
| 912 | |a GBV_ILN_4313 | ||
| 912 | |a GBV_ILN_4322 | ||
| 912 | |a GBV_ILN_4323 | ||
| 912 | |a GBV_ILN_4324 | ||
| 912 | |a GBV_ILN_4325 | ||
| 912 | |a GBV_ILN_4326 | ||
| 912 | |a GBV_ILN_4335 | ||
| 912 | |a GBV_ILN_4338 | ||
| 912 | |a GBV_ILN_4367 | ||
| 912 | |a GBV_ILN_4700 | ||
| 951 | |a AR | ||
| 952 | |d 4 |j 2017 |e 2 |b 01 |c 09 |h 168-174 | ||
| author_variant |
t t tt s m sm t k tk |
|---|---|
| matchkey_str |
article:23526386:2017----::eeomnoaoloetnepaerniinebsduainetn |
| hierarchy_sort_str |
2017 |
| publishDate |
2017 |
| allfields |
10.2991/jrnal.2017.4.2.14 doi (DE-627)SPR055085156 (SPR)jrnal.2017.4.2.14-e DE-627 ger DE-627 rakwb eng Takagi, Tomohiko verfasserin aut Development of a Tool for Extended Place/Transition Net-Based Mutation Testing and Its Application Example 2017 Text txt rdacontent Computermedien c rdamedia Online-Ressource cr rdacarrier © the Authors 2017 Abstract This paper shows a tool for EPN (Extended Place/transition Net)-based mutation testing to evaluate and improve the quality of a test suite for concurrent software. The tool includes functions for (1) construction of an original EPN that represents the expected behavior of concurrent software under test, (2) construction of mutant EPNs by applying mutation operators to the original EPN, (3) execution of a test suite on each mutant EPN in order to calculate its mutation score, and so on. If the mutation score is not good, the test suite can be improved based on mutant EPNs that have not been killed. The tool was applied to an example of non-trivial software, and it was found that the effectiveness of PN (Place/transition Net)-based mutation testing would be improved by achieving (a) the higher representation power of a PN by the introduction of actions and guards, and (b) the semi-automation by the tool. Software Testing (dpeaa)DE-He213 Mutation Testing (dpeaa)DE-He213 Model-Based Testing (dpeaa)DE-He213 Vienna Development Method (dpeaa)DE-He213 Morimoto, Shogo aut Katayama, Tetsuro aut Enthalten in Journal of Robotics, Networking and Artificial Life Springer Netherlands, 2014 4(2017), 2 vom: 01. Sept., Seite 168-174 (DE-627)1005552487 (DE-600)2912430-X 2352-6386 nnns volume:4 year:2017 number:2 day:01 month:09 pages:168-174 https://dx.doi.org/10.2991/jrnal.2017.4.2.14 kostenfrei Volltext GBV_USEFLAG_A SYSFLAG_A GBV_SPRINGER GBV_ILN_11 GBV_ILN_20 GBV_ILN_22 GBV_ILN_23 GBV_ILN_24 GBV_ILN_31 GBV_ILN_39 GBV_ILN_40 GBV_ILN_60 GBV_ILN_62 GBV_ILN_63 GBV_ILN_65 GBV_ILN_69 GBV_ILN_70 GBV_ILN_73 GBV_ILN_95 GBV_ILN_105 GBV_ILN_110 GBV_ILN_151 GBV_ILN_161 GBV_ILN_170 GBV_ILN_213 GBV_ILN_230 GBV_ILN_285 GBV_ILN_293 GBV_ILN_370 GBV_ILN_602 GBV_ILN_2014 GBV_ILN_4012 GBV_ILN_4037 GBV_ILN_4112 GBV_ILN_4125 GBV_ILN_4126 GBV_ILN_4249 GBV_ILN_4305 GBV_ILN_4306 GBV_ILN_4307 GBV_ILN_4313 GBV_ILN_4322 GBV_ILN_4323 GBV_ILN_4324 GBV_ILN_4325 GBV_ILN_4326 GBV_ILN_4335 GBV_ILN_4338 GBV_ILN_4367 GBV_ILN_4700 AR 4 2017 2 01 09 168-174 |
| spelling |
10.2991/jrnal.2017.4.2.14 doi (DE-627)SPR055085156 (SPR)jrnal.2017.4.2.14-e DE-627 ger DE-627 rakwb eng Takagi, Tomohiko verfasserin aut Development of a Tool for Extended Place/Transition Net-Based Mutation Testing and Its Application Example 2017 Text txt rdacontent Computermedien c rdamedia Online-Ressource cr rdacarrier © the Authors 2017 Abstract This paper shows a tool for EPN (Extended Place/transition Net)-based mutation testing to evaluate and improve the quality of a test suite for concurrent software. The tool includes functions for (1) construction of an original EPN that represents the expected behavior of concurrent software under test, (2) construction of mutant EPNs by applying mutation operators to the original EPN, (3) execution of a test suite on each mutant EPN in order to calculate its mutation score, and so on. If the mutation score is not good, the test suite can be improved based on mutant EPNs that have not been killed. The tool was applied to an example of non-trivial software, and it was found that the effectiveness of PN (Place/transition Net)-based mutation testing would be improved by achieving (a) the higher representation power of a PN by the introduction of actions and guards, and (b) the semi-automation by the tool. Software Testing (dpeaa)DE-He213 Mutation Testing (dpeaa)DE-He213 Model-Based Testing (dpeaa)DE-He213 Vienna Development Method (dpeaa)DE-He213 Morimoto, Shogo aut Katayama, Tetsuro aut Enthalten in Journal of Robotics, Networking and Artificial Life Springer Netherlands, 2014 4(2017), 2 vom: 01. Sept., Seite 168-174 (DE-627)1005552487 (DE-600)2912430-X 2352-6386 nnns volume:4 year:2017 number:2 day:01 month:09 pages:168-174 https://dx.doi.org/10.2991/jrnal.2017.4.2.14 kostenfrei Volltext GBV_USEFLAG_A SYSFLAG_A GBV_SPRINGER GBV_ILN_11 GBV_ILN_20 GBV_ILN_22 GBV_ILN_23 GBV_ILN_24 GBV_ILN_31 GBV_ILN_39 GBV_ILN_40 GBV_ILN_60 GBV_ILN_62 GBV_ILN_63 GBV_ILN_65 GBV_ILN_69 GBV_ILN_70 GBV_ILN_73 GBV_ILN_95 GBV_ILN_105 GBV_ILN_110 GBV_ILN_151 GBV_ILN_161 GBV_ILN_170 GBV_ILN_213 GBV_ILN_230 GBV_ILN_285 GBV_ILN_293 GBV_ILN_370 GBV_ILN_602 GBV_ILN_2014 GBV_ILN_4012 GBV_ILN_4037 GBV_ILN_4112 GBV_ILN_4125 GBV_ILN_4126 GBV_ILN_4249 GBV_ILN_4305 GBV_ILN_4306 GBV_ILN_4307 GBV_ILN_4313 GBV_ILN_4322 GBV_ILN_4323 GBV_ILN_4324 GBV_ILN_4325 GBV_ILN_4326 GBV_ILN_4335 GBV_ILN_4338 GBV_ILN_4367 GBV_ILN_4700 AR 4 2017 2 01 09 168-174 |
| allfields_unstemmed |
10.2991/jrnal.2017.4.2.14 doi (DE-627)SPR055085156 (SPR)jrnal.2017.4.2.14-e DE-627 ger DE-627 rakwb eng Takagi, Tomohiko verfasserin aut Development of a Tool for Extended Place/Transition Net-Based Mutation Testing and Its Application Example 2017 Text txt rdacontent Computermedien c rdamedia Online-Ressource cr rdacarrier © the Authors 2017 Abstract This paper shows a tool for EPN (Extended Place/transition Net)-based mutation testing to evaluate and improve the quality of a test suite for concurrent software. The tool includes functions for (1) construction of an original EPN that represents the expected behavior of concurrent software under test, (2) construction of mutant EPNs by applying mutation operators to the original EPN, (3) execution of a test suite on each mutant EPN in order to calculate its mutation score, and so on. If the mutation score is not good, the test suite can be improved based on mutant EPNs that have not been killed. The tool was applied to an example of non-trivial software, and it was found that the effectiveness of PN (Place/transition Net)-based mutation testing would be improved by achieving (a) the higher representation power of a PN by the introduction of actions and guards, and (b) the semi-automation by the tool. Software Testing (dpeaa)DE-He213 Mutation Testing (dpeaa)DE-He213 Model-Based Testing (dpeaa)DE-He213 Vienna Development Method (dpeaa)DE-He213 Morimoto, Shogo aut Katayama, Tetsuro aut Enthalten in Journal of Robotics, Networking and Artificial Life Springer Netherlands, 2014 4(2017), 2 vom: 01. Sept., Seite 168-174 (DE-627)1005552487 (DE-600)2912430-X 2352-6386 nnns volume:4 year:2017 number:2 day:01 month:09 pages:168-174 https://dx.doi.org/10.2991/jrnal.2017.4.2.14 kostenfrei Volltext GBV_USEFLAG_A SYSFLAG_A GBV_SPRINGER GBV_ILN_11 GBV_ILN_20 GBV_ILN_22 GBV_ILN_23 GBV_ILN_24 GBV_ILN_31 GBV_ILN_39 GBV_ILN_40 GBV_ILN_60 GBV_ILN_62 GBV_ILN_63 GBV_ILN_65 GBV_ILN_69 GBV_ILN_70 GBV_ILN_73 GBV_ILN_95 GBV_ILN_105 GBV_ILN_110 GBV_ILN_151 GBV_ILN_161 GBV_ILN_170 GBV_ILN_213 GBV_ILN_230 GBV_ILN_285 GBV_ILN_293 GBV_ILN_370 GBV_ILN_602 GBV_ILN_2014 GBV_ILN_4012 GBV_ILN_4037 GBV_ILN_4112 GBV_ILN_4125 GBV_ILN_4126 GBV_ILN_4249 GBV_ILN_4305 GBV_ILN_4306 GBV_ILN_4307 GBV_ILN_4313 GBV_ILN_4322 GBV_ILN_4323 GBV_ILN_4324 GBV_ILN_4325 GBV_ILN_4326 GBV_ILN_4335 GBV_ILN_4338 GBV_ILN_4367 GBV_ILN_4700 AR 4 2017 2 01 09 168-174 |
| allfieldsGer |
10.2991/jrnal.2017.4.2.14 doi (DE-627)SPR055085156 (SPR)jrnal.2017.4.2.14-e DE-627 ger DE-627 rakwb eng Takagi, Tomohiko verfasserin aut Development of a Tool for Extended Place/Transition Net-Based Mutation Testing and Its Application Example 2017 Text txt rdacontent Computermedien c rdamedia Online-Ressource cr rdacarrier © the Authors 2017 Abstract This paper shows a tool for EPN (Extended Place/transition Net)-based mutation testing to evaluate and improve the quality of a test suite for concurrent software. The tool includes functions for (1) construction of an original EPN that represents the expected behavior of concurrent software under test, (2) construction of mutant EPNs by applying mutation operators to the original EPN, (3) execution of a test suite on each mutant EPN in order to calculate its mutation score, and so on. If the mutation score is not good, the test suite can be improved based on mutant EPNs that have not been killed. The tool was applied to an example of non-trivial software, and it was found that the effectiveness of PN (Place/transition Net)-based mutation testing would be improved by achieving (a) the higher representation power of a PN by the introduction of actions and guards, and (b) the semi-automation by the tool. Software Testing (dpeaa)DE-He213 Mutation Testing (dpeaa)DE-He213 Model-Based Testing (dpeaa)DE-He213 Vienna Development Method (dpeaa)DE-He213 Morimoto, Shogo aut Katayama, Tetsuro aut Enthalten in Journal of Robotics, Networking and Artificial Life Springer Netherlands, 2014 4(2017), 2 vom: 01. Sept., Seite 168-174 (DE-627)1005552487 (DE-600)2912430-X 2352-6386 nnns volume:4 year:2017 number:2 day:01 month:09 pages:168-174 https://dx.doi.org/10.2991/jrnal.2017.4.2.14 kostenfrei Volltext GBV_USEFLAG_A SYSFLAG_A GBV_SPRINGER GBV_ILN_11 GBV_ILN_20 GBV_ILN_22 GBV_ILN_23 GBV_ILN_24 GBV_ILN_31 GBV_ILN_39 GBV_ILN_40 GBV_ILN_60 GBV_ILN_62 GBV_ILN_63 GBV_ILN_65 GBV_ILN_69 GBV_ILN_70 GBV_ILN_73 GBV_ILN_95 GBV_ILN_105 GBV_ILN_110 GBV_ILN_151 GBV_ILN_161 GBV_ILN_170 GBV_ILN_213 GBV_ILN_230 GBV_ILN_285 GBV_ILN_293 GBV_ILN_370 GBV_ILN_602 GBV_ILN_2014 GBV_ILN_4012 GBV_ILN_4037 GBV_ILN_4112 GBV_ILN_4125 GBV_ILN_4126 GBV_ILN_4249 GBV_ILN_4305 GBV_ILN_4306 GBV_ILN_4307 GBV_ILN_4313 GBV_ILN_4322 GBV_ILN_4323 GBV_ILN_4324 GBV_ILN_4325 GBV_ILN_4326 GBV_ILN_4335 GBV_ILN_4338 GBV_ILN_4367 GBV_ILN_4700 AR 4 2017 2 01 09 168-174 |
| allfieldsSound |
10.2991/jrnal.2017.4.2.14 doi (DE-627)SPR055085156 (SPR)jrnal.2017.4.2.14-e DE-627 ger DE-627 rakwb eng Takagi, Tomohiko verfasserin aut Development of a Tool for Extended Place/Transition Net-Based Mutation Testing and Its Application Example 2017 Text txt rdacontent Computermedien c rdamedia Online-Ressource cr rdacarrier © the Authors 2017 Abstract This paper shows a tool for EPN (Extended Place/transition Net)-based mutation testing to evaluate and improve the quality of a test suite for concurrent software. The tool includes functions for (1) construction of an original EPN that represents the expected behavior of concurrent software under test, (2) construction of mutant EPNs by applying mutation operators to the original EPN, (3) execution of a test suite on each mutant EPN in order to calculate its mutation score, and so on. If the mutation score is not good, the test suite can be improved based on mutant EPNs that have not been killed. The tool was applied to an example of non-trivial software, and it was found that the effectiveness of PN (Place/transition Net)-based mutation testing would be improved by achieving (a) the higher representation power of a PN by the introduction of actions and guards, and (b) the semi-automation by the tool. Software Testing (dpeaa)DE-He213 Mutation Testing (dpeaa)DE-He213 Model-Based Testing (dpeaa)DE-He213 Vienna Development Method (dpeaa)DE-He213 Morimoto, Shogo aut Katayama, Tetsuro aut Enthalten in Journal of Robotics, Networking and Artificial Life Springer Netherlands, 2014 4(2017), 2 vom: 01. Sept., Seite 168-174 (DE-627)1005552487 (DE-600)2912430-X 2352-6386 nnns volume:4 year:2017 number:2 day:01 month:09 pages:168-174 https://dx.doi.org/10.2991/jrnal.2017.4.2.14 kostenfrei Volltext GBV_USEFLAG_A SYSFLAG_A GBV_SPRINGER GBV_ILN_11 GBV_ILN_20 GBV_ILN_22 GBV_ILN_23 GBV_ILN_24 GBV_ILN_31 GBV_ILN_39 GBV_ILN_40 GBV_ILN_60 GBV_ILN_62 GBV_ILN_63 GBV_ILN_65 GBV_ILN_69 GBV_ILN_70 GBV_ILN_73 GBV_ILN_95 GBV_ILN_105 GBV_ILN_110 GBV_ILN_151 GBV_ILN_161 GBV_ILN_170 GBV_ILN_213 GBV_ILN_230 GBV_ILN_285 GBV_ILN_293 GBV_ILN_370 GBV_ILN_602 GBV_ILN_2014 GBV_ILN_4012 GBV_ILN_4037 GBV_ILN_4112 GBV_ILN_4125 GBV_ILN_4126 GBV_ILN_4249 GBV_ILN_4305 GBV_ILN_4306 GBV_ILN_4307 GBV_ILN_4313 GBV_ILN_4322 GBV_ILN_4323 GBV_ILN_4324 GBV_ILN_4325 GBV_ILN_4326 GBV_ILN_4335 GBV_ILN_4338 GBV_ILN_4367 GBV_ILN_4700 AR 4 2017 2 01 09 168-174 |
| language |
English |
| source |
Enthalten in Journal of Robotics, Networking and Artificial Life 4(2017), 2 vom: 01. Sept., Seite 168-174 volume:4 year:2017 number:2 day:01 month:09 pages:168-174 |
| sourceStr |
Enthalten in Journal of Robotics, Networking and Artificial Life 4(2017), 2 vom: 01. Sept., Seite 168-174 volume:4 year:2017 number:2 day:01 month:09 pages:168-174 |
| format_phy_str_mv |
Article |
| institution |
findex.gbv.de |
| topic_facet |
Software Testing Mutation Testing Model-Based Testing Vienna Development Method |
| isfreeaccess_bool |
true |
| container_title |
Journal of Robotics, Networking and Artificial Life |
| authorswithroles_txt_mv |
Takagi, Tomohiko @@aut@@ Morimoto, Shogo @@aut@@ Katayama, Tetsuro @@aut@@ |
| publishDateDaySort_date |
2017-09-01T00:00:00Z |
| hierarchy_top_id |
1005552487 |
| id |
SPR055085156 |
| language_de |
englisch |
| fullrecord |
<?xml version="1.0" encoding="UTF-8"?><collection xmlns="http://www.loc.gov/MARC21/slim"><record><leader>01000naa a22002652 4500</leader><controlfield tag="001">SPR055085156</controlfield><controlfield tag="003">DE-627</controlfield><controlfield tag="005">20240309064752.0</controlfield><controlfield tag="007">cr uuu---uuuuu</controlfield><controlfield tag="008">240309s2017 xx |||||o 00| ||eng c</controlfield><datafield tag="024" ind1="7" ind2=" "><subfield code="a">10.2991/jrnal.2017.4.2.14</subfield><subfield code="2">doi</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(DE-627)SPR055085156</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(SPR)jrnal.2017.4.2.14-e</subfield></datafield><datafield tag="040" ind1=" " ind2=" "><subfield code="a">DE-627</subfield><subfield code="b">ger</subfield><subfield code="c">DE-627</subfield><subfield code="e">rakwb</subfield></datafield><datafield tag="041" ind1=" " ind2=" "><subfield code="a">eng</subfield></datafield><datafield tag="100" ind1="1" ind2=" "><subfield code="a">Takagi, Tomohiko</subfield><subfield code="e">verfasserin</subfield><subfield code="4">aut</subfield></datafield><datafield tag="245" ind1="1" ind2="0"><subfield code="a">Development of a Tool for Extended Place/Transition Net-Based Mutation Testing and Its Application Example</subfield></datafield><datafield tag="264" ind1=" " ind2="1"><subfield code="c">2017</subfield></datafield><datafield tag="336" ind1=" " ind2=" "><subfield code="a">Text</subfield><subfield code="b">txt</subfield><subfield code="2">rdacontent</subfield></datafield><datafield tag="337" ind1=" " ind2=" "><subfield code="a">Computermedien</subfield><subfield code="b">c</subfield><subfield code="2">rdamedia</subfield></datafield><datafield tag="338" ind1=" " ind2=" "><subfield code="a">Online-Ressource</subfield><subfield code="b">cr</subfield><subfield code="2">rdacarrier</subfield></datafield><datafield tag="500" ind1=" " ind2=" "><subfield code="a">© the Authors 2017</subfield></datafield><datafield tag="520" ind1=" " ind2=" "><subfield code="a">Abstract This paper shows a tool for EPN (Extended Place/transition Net)-based mutation testing to evaluate and improve the quality of a test suite for concurrent software. The tool includes functions for (1) construction of an original EPN that represents the expected behavior of concurrent software under test, (2) construction of mutant EPNs by applying mutation operators to the original EPN, (3) execution of a test suite on each mutant EPN in order to calculate its mutation score, and so on. If the mutation score is not good, the test suite can be improved based on mutant EPNs that have not been killed. The tool was applied to an example of non-trivial software, and it was found that the effectiveness of PN (Place/transition Net)-based mutation testing would be improved by achieving (a) the higher representation power of a PN by the introduction of actions and guards, and (b) the semi-automation by the tool.</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Software Testing</subfield><subfield code="7">(dpeaa)DE-He213</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Mutation Testing</subfield><subfield code="7">(dpeaa)DE-He213</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Model-Based Testing</subfield><subfield code="7">(dpeaa)DE-He213</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Vienna Development Method</subfield><subfield code="7">(dpeaa)DE-He213</subfield></datafield><datafield tag="700" ind1="1" ind2=" "><subfield code="a">Morimoto, Shogo</subfield><subfield code="4">aut</subfield></datafield><datafield tag="700" ind1="1" ind2=" "><subfield code="a">Katayama, Tetsuro</subfield><subfield code="4">aut</subfield></datafield><datafield tag="773" ind1="0" ind2="8"><subfield code="i">Enthalten in</subfield><subfield code="t">Journal of Robotics, Networking and Artificial Life</subfield><subfield code="d">Springer Netherlands, 2014</subfield><subfield code="g">4(2017), 2 vom: 01. Sept., Seite 168-174</subfield><subfield code="w">(DE-627)1005552487</subfield><subfield code="w">(DE-600)2912430-X</subfield><subfield code="x">2352-6386</subfield><subfield code="7">nnns</subfield></datafield><datafield tag="773" ind1="1" ind2="8"><subfield code="g">volume:4</subfield><subfield code="g">year:2017</subfield><subfield code="g">number:2</subfield><subfield code="g">day:01</subfield><subfield code="g">month:09</subfield><subfield code="g">pages:168-174</subfield></datafield><datafield tag="856" ind1="4" ind2="0"><subfield code="u">https://dx.doi.org/10.2991/jrnal.2017.4.2.14</subfield><subfield code="z">kostenfrei</subfield><subfield code="3">Volltext</subfield></datafield><datafield tag="912" ind1=" " ind2=" "><subfield code="a">GBV_USEFLAG_A</subfield></datafield><datafield tag="912" ind1=" " ind2=" "><subfield code="a">SYSFLAG_A</subfield></datafield><datafield tag="912" ind1=" " ind2=" "><subfield code="a">GBV_SPRINGER</subfield></datafield><datafield tag="912" ind1=" " ind2=" "><subfield code="a">GBV_ILN_11</subfield></datafield><datafield tag="912" ind1=" " ind2=" "><subfield code="a">GBV_ILN_20</subfield></datafield><datafield tag="912" ind1=" " ind2=" "><subfield code="a">GBV_ILN_22</subfield></datafield><datafield tag="912" ind1=" " ind2=" "><subfield code="a">GBV_ILN_23</subfield></datafield><datafield tag="912" ind1=" " ind2=" "><subfield code="a">GBV_ILN_24</subfield></datafield><datafield tag="912" ind1=" " ind2=" "><subfield code="a">GBV_ILN_31</subfield></datafield><datafield tag="912" ind1=" " ind2=" "><subfield code="a">GBV_ILN_39</subfield></datafield><datafield tag="912" ind1=" " ind2=" "><subfield code="a">GBV_ILN_40</subfield></datafield><datafield tag="912" ind1=" " ind2=" "><subfield code="a">GBV_ILN_60</subfield></datafield><datafield tag="912" ind1=" " ind2=" "><subfield code="a">GBV_ILN_62</subfield></datafield><datafield tag="912" ind1=" " ind2=" "><subfield code="a">GBV_ILN_63</subfield></datafield><datafield tag="912" ind1=" " ind2=" "><subfield code="a">GBV_ILN_65</subfield></datafield><datafield tag="912" ind1=" " ind2=" "><subfield code="a">GBV_ILN_69</subfield></datafield><datafield tag="912" ind1=" " ind2=" "><subfield code="a">GBV_ILN_70</subfield></datafield><datafield tag="912" ind1=" " ind2=" "><subfield code="a">GBV_ILN_73</subfield></datafield><datafield tag="912" ind1=" " ind2=" "><subfield code="a">GBV_ILN_95</subfield></datafield><datafield tag="912" ind1=" " ind2=" "><subfield code="a">GBV_ILN_105</subfield></datafield><datafield tag="912" ind1=" " ind2=" "><subfield code="a">GBV_ILN_110</subfield></datafield><datafield tag="912" ind1=" " ind2=" "><subfield code="a">GBV_ILN_151</subfield></datafield><datafield tag="912" ind1=" " ind2=" "><subfield code="a">GBV_ILN_161</subfield></datafield><datafield tag="912" ind1=" " ind2=" "><subfield code="a">GBV_ILN_170</subfield></datafield><datafield tag="912" ind1=" " ind2=" "><subfield code="a">GBV_ILN_213</subfield></datafield><datafield tag="912" ind1=" " ind2=" "><subfield code="a">GBV_ILN_230</subfield></datafield><datafield tag="912" ind1=" " ind2=" "><subfield code="a">GBV_ILN_285</subfield></datafield><datafield tag="912" ind1=" " ind2=" "><subfield code="a">GBV_ILN_293</subfield></datafield><datafield tag="912" ind1=" " ind2=" "><subfield code="a">GBV_ILN_370</subfield></datafield><datafield tag="912" ind1=" " ind2=" "><subfield code="a">GBV_ILN_602</subfield></datafield><datafield tag="912" ind1=" " ind2=" "><subfield code="a">GBV_ILN_2014</subfield></datafield><datafield tag="912" ind1=" " ind2=" "><subfield code="a">GBV_ILN_4012</subfield></datafield><datafield tag="912" ind1=" " ind2=" "><subfield code="a">GBV_ILN_4037</subfield></datafield><datafield tag="912" ind1=" " ind2=" "><subfield code="a">GBV_ILN_4112</subfield></datafield><datafield tag="912" ind1=" " ind2=" "><subfield code="a">GBV_ILN_4125</subfield></datafield><datafield tag="912" ind1=" " ind2=" "><subfield code="a">GBV_ILN_4126</subfield></datafield><datafield tag="912" ind1=" " ind2=" "><subfield code="a">GBV_ILN_4249</subfield></datafield><datafield tag="912" ind1=" " ind2=" "><subfield code="a">GBV_ILN_4305</subfield></datafield><datafield tag="912" ind1=" " ind2=" "><subfield code="a">GBV_ILN_4306</subfield></datafield><datafield tag="912" ind1=" " ind2=" "><subfield code="a">GBV_ILN_4307</subfield></datafield><datafield tag="912" ind1=" " ind2=" "><subfield code="a">GBV_ILN_4313</subfield></datafield><datafield tag="912" ind1=" " ind2=" "><subfield code="a">GBV_ILN_4322</subfield></datafield><datafield tag="912" ind1=" " ind2=" "><subfield code="a">GBV_ILN_4323</subfield></datafield><datafield tag="912" ind1=" " ind2=" "><subfield code="a">GBV_ILN_4324</subfield></datafield><datafield tag="912" ind1=" " ind2=" "><subfield code="a">GBV_ILN_4325</subfield></datafield><datafield tag="912" ind1=" " ind2=" "><subfield code="a">GBV_ILN_4326</subfield></datafield><datafield tag="912" ind1=" " ind2=" "><subfield code="a">GBV_ILN_4335</subfield></datafield><datafield tag="912" ind1=" " ind2=" "><subfield code="a">GBV_ILN_4338</subfield></datafield><datafield tag="912" ind1=" " ind2=" "><subfield code="a">GBV_ILN_4367</subfield></datafield><datafield tag="912" ind1=" " ind2=" "><subfield code="a">GBV_ILN_4700</subfield></datafield><datafield tag="951" ind1=" " ind2=" "><subfield code="a">AR</subfield></datafield><datafield tag="952" ind1=" " ind2=" "><subfield code="d">4</subfield><subfield code="j">2017</subfield><subfield code="e">2</subfield><subfield code="b">01</subfield><subfield code="c">09</subfield><subfield code="h">168-174</subfield></datafield></record></collection>
|
| author |
Takagi, Tomohiko |
| spellingShingle |
Takagi, Tomohiko misc Software Testing misc Mutation Testing misc Model-Based Testing misc Vienna Development Method Development of a Tool for Extended Place/Transition Net-Based Mutation Testing and Its Application Example |
| authorStr |
Takagi, Tomohiko |
| ppnlink_with_tag_str_mv |
@@773@@(DE-627)1005552487 |
| format |
electronic Article |
| delete_txt_mv |
keep |
| author_role |
aut aut aut |
| collection |
springer |
| remote_str |
true |
| illustrated |
Not Illustrated |
| issn |
2352-6386 |
| topic_title |
Development of a Tool for Extended Place/Transition Net-Based Mutation Testing and Its Application Example Software Testing (dpeaa)DE-He213 Mutation Testing (dpeaa)DE-He213 Model-Based Testing (dpeaa)DE-He213 Vienna Development Method (dpeaa)DE-He213 |
| topic |
misc Software Testing misc Mutation Testing misc Model-Based Testing misc Vienna Development Method |
| topic_unstemmed |
misc Software Testing misc Mutation Testing misc Model-Based Testing misc Vienna Development Method |
| topic_browse |
misc Software Testing misc Mutation Testing misc Model-Based Testing misc Vienna Development Method |
| format_facet |
Elektronische Aufsätze Aufsätze Elektronische Ressource |
| format_main_str_mv |
Text Zeitschrift/Artikel |
| carriertype_str_mv |
cr |
| hierarchy_parent_title |
Journal of Robotics, Networking and Artificial Life |
| hierarchy_parent_id |
1005552487 |
| hierarchy_top_title |
Journal of Robotics, Networking and Artificial Life |
| isfreeaccess_txt |
true |
| familylinks_str_mv |
(DE-627)1005552487 (DE-600)2912430-X |
| title |
Development of a Tool for Extended Place/Transition Net-Based Mutation Testing and Its Application Example |
| ctrlnum |
(DE-627)SPR055085156 (SPR)jrnal.2017.4.2.14-e |
| title_full |
Development of a Tool for Extended Place/Transition Net-Based Mutation Testing and Its Application Example |
| author_sort |
Takagi, Tomohiko |
| journal |
Journal of Robotics, Networking and Artificial Life |
| journalStr |
Journal of Robotics, Networking and Artificial Life |
| lang_code |
eng |
| isOA_bool |
true |
| recordtype |
marc |
| publishDateSort |
2017 |
| contenttype_str_mv |
txt |
| container_start_page |
168 |
| author_browse |
Takagi, Tomohiko Morimoto, Shogo Katayama, Tetsuro |
| container_volume |
4 |
| format_se |
Elektronische Aufsätze |
| author-letter |
Takagi, Tomohiko |
| doi_str_mv |
10.2991/jrnal.2017.4.2.14 |
| title_sort |
development of a tool for extended place/transition net-based mutation testing and its application example |
| title_auth |
Development of a Tool for Extended Place/Transition Net-Based Mutation Testing and Its Application Example |
| abstract |
Abstract This paper shows a tool for EPN (Extended Place/transition Net)-based mutation testing to evaluate and improve the quality of a test suite for concurrent software. The tool includes functions for (1) construction of an original EPN that represents the expected behavior of concurrent software under test, (2) construction of mutant EPNs by applying mutation operators to the original EPN, (3) execution of a test suite on each mutant EPN in order to calculate its mutation score, and so on. If the mutation score is not good, the test suite can be improved based on mutant EPNs that have not been killed. The tool was applied to an example of non-trivial software, and it was found that the effectiveness of PN (Place/transition Net)-based mutation testing would be improved by achieving (a) the higher representation power of a PN by the introduction of actions and guards, and (b) the semi-automation by the tool. © the Authors 2017 |
| abstractGer |
Abstract This paper shows a tool for EPN (Extended Place/transition Net)-based mutation testing to evaluate and improve the quality of a test suite for concurrent software. The tool includes functions for (1) construction of an original EPN that represents the expected behavior of concurrent software under test, (2) construction of mutant EPNs by applying mutation operators to the original EPN, (3) execution of a test suite on each mutant EPN in order to calculate its mutation score, and so on. If the mutation score is not good, the test suite can be improved based on mutant EPNs that have not been killed. The tool was applied to an example of non-trivial software, and it was found that the effectiveness of PN (Place/transition Net)-based mutation testing would be improved by achieving (a) the higher representation power of a PN by the introduction of actions and guards, and (b) the semi-automation by the tool. © the Authors 2017 |
| abstract_unstemmed |
Abstract This paper shows a tool for EPN (Extended Place/transition Net)-based mutation testing to evaluate and improve the quality of a test suite for concurrent software. The tool includes functions for (1) construction of an original EPN that represents the expected behavior of concurrent software under test, (2) construction of mutant EPNs by applying mutation operators to the original EPN, (3) execution of a test suite on each mutant EPN in order to calculate its mutation score, and so on. If the mutation score is not good, the test suite can be improved based on mutant EPNs that have not been killed. The tool was applied to an example of non-trivial software, and it was found that the effectiveness of PN (Place/transition Net)-based mutation testing would be improved by achieving (a) the higher representation power of a PN by the introduction of actions and guards, and (b) the semi-automation by the tool. © the Authors 2017 |
| collection_details |
GBV_USEFLAG_A SYSFLAG_A GBV_SPRINGER GBV_ILN_11 GBV_ILN_20 GBV_ILN_22 GBV_ILN_23 GBV_ILN_24 GBV_ILN_31 GBV_ILN_39 GBV_ILN_40 GBV_ILN_60 GBV_ILN_62 GBV_ILN_63 GBV_ILN_65 GBV_ILN_69 GBV_ILN_70 GBV_ILN_73 GBV_ILN_95 GBV_ILN_105 GBV_ILN_110 GBV_ILN_151 GBV_ILN_161 GBV_ILN_170 GBV_ILN_213 GBV_ILN_230 GBV_ILN_285 GBV_ILN_293 GBV_ILN_370 GBV_ILN_602 GBV_ILN_2014 GBV_ILN_4012 GBV_ILN_4037 GBV_ILN_4112 GBV_ILN_4125 GBV_ILN_4126 GBV_ILN_4249 GBV_ILN_4305 GBV_ILN_4306 GBV_ILN_4307 GBV_ILN_4313 GBV_ILN_4322 GBV_ILN_4323 GBV_ILN_4324 GBV_ILN_4325 GBV_ILN_4326 GBV_ILN_4335 GBV_ILN_4338 GBV_ILN_4367 GBV_ILN_4700 |
| container_issue |
2 |
| title_short |
Development of a Tool for Extended Place/Transition Net-Based Mutation Testing and Its Application Example |
| url |
https://dx.doi.org/10.2991/jrnal.2017.4.2.14 |
| remote_bool |
true |
| author2 |
Morimoto, Shogo Katayama, Tetsuro |
| author2Str |
Morimoto, Shogo Katayama, Tetsuro |
| ppnlink |
1005552487 |
| mediatype_str_mv |
c |
| isOA_txt |
true |
| hochschulschrift_bool |
false |
| doi_str |
10.2991/jrnal.2017.4.2.14 |
| up_date |
2024-07-04T04:06:31.585Z |
| _version_ |
1803619917193281536 |
| fullrecord_marcxml |
<?xml version="1.0" encoding="UTF-8"?><collection xmlns="http://www.loc.gov/MARC21/slim"><record><leader>01000naa a22002652 4500</leader><controlfield tag="001">SPR055085156</controlfield><controlfield tag="003">DE-627</controlfield><controlfield tag="005">20240309064752.0</controlfield><controlfield tag="007">cr uuu---uuuuu</controlfield><controlfield tag="008">240309s2017 xx |||||o 00| ||eng c</controlfield><datafield tag="024" ind1="7" ind2=" "><subfield code="a">10.2991/jrnal.2017.4.2.14</subfield><subfield code="2">doi</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(DE-627)SPR055085156</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(SPR)jrnal.2017.4.2.14-e</subfield></datafield><datafield tag="040" ind1=" " ind2=" "><subfield code="a">DE-627</subfield><subfield code="b">ger</subfield><subfield code="c">DE-627</subfield><subfield code="e">rakwb</subfield></datafield><datafield tag="041" ind1=" " ind2=" "><subfield code="a">eng</subfield></datafield><datafield tag="100" ind1="1" ind2=" "><subfield code="a">Takagi, Tomohiko</subfield><subfield code="e">verfasserin</subfield><subfield code="4">aut</subfield></datafield><datafield tag="245" ind1="1" ind2="0"><subfield code="a">Development of a Tool for Extended Place/Transition Net-Based Mutation Testing and Its Application Example</subfield></datafield><datafield tag="264" ind1=" " ind2="1"><subfield code="c">2017</subfield></datafield><datafield tag="336" ind1=" " ind2=" "><subfield code="a">Text</subfield><subfield code="b">txt</subfield><subfield code="2">rdacontent</subfield></datafield><datafield tag="337" ind1=" " ind2=" "><subfield code="a">Computermedien</subfield><subfield code="b">c</subfield><subfield code="2">rdamedia</subfield></datafield><datafield tag="338" ind1=" " ind2=" "><subfield code="a">Online-Ressource</subfield><subfield code="b">cr</subfield><subfield code="2">rdacarrier</subfield></datafield><datafield tag="500" ind1=" " ind2=" "><subfield code="a">© the Authors 2017</subfield></datafield><datafield tag="520" ind1=" " ind2=" "><subfield code="a">Abstract This paper shows a tool for EPN (Extended Place/transition Net)-based mutation testing to evaluate and improve the quality of a test suite for concurrent software. The tool includes functions for (1) construction of an original EPN that represents the expected behavior of concurrent software under test, (2) construction of mutant EPNs by applying mutation operators to the original EPN, (3) execution of a test suite on each mutant EPN in order to calculate its mutation score, and so on. If the mutation score is not good, the test suite can be improved based on mutant EPNs that have not been killed. The tool was applied to an example of non-trivial software, and it was found that the effectiveness of PN (Place/transition Net)-based mutation testing would be improved by achieving (a) the higher representation power of a PN by the introduction of actions and guards, and (b) the semi-automation by the tool.</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Software Testing</subfield><subfield code="7">(dpeaa)DE-He213</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Mutation Testing</subfield><subfield code="7">(dpeaa)DE-He213</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Model-Based Testing</subfield><subfield code="7">(dpeaa)DE-He213</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Vienna Development Method</subfield><subfield code="7">(dpeaa)DE-He213</subfield></datafield><datafield tag="700" ind1="1" ind2=" "><subfield code="a">Morimoto, Shogo</subfield><subfield code="4">aut</subfield></datafield><datafield tag="700" ind1="1" ind2=" "><subfield code="a">Katayama, Tetsuro</subfield><subfield code="4">aut</subfield></datafield><datafield tag="773" ind1="0" ind2="8"><subfield code="i">Enthalten in</subfield><subfield code="t">Journal of Robotics, Networking and Artificial Life</subfield><subfield code="d">Springer Netherlands, 2014</subfield><subfield code="g">4(2017), 2 vom: 01. Sept., Seite 168-174</subfield><subfield code="w">(DE-627)1005552487</subfield><subfield code="w">(DE-600)2912430-X</subfield><subfield code="x">2352-6386</subfield><subfield code="7">nnns</subfield></datafield><datafield tag="773" ind1="1" ind2="8"><subfield code="g">volume:4</subfield><subfield code="g">year:2017</subfield><subfield code="g">number:2</subfield><subfield code="g">day:01</subfield><subfield code="g">month:09</subfield><subfield code="g">pages:168-174</subfield></datafield><datafield tag="856" ind1="4" ind2="0"><subfield code="u">https://dx.doi.org/10.2991/jrnal.2017.4.2.14</subfield><subfield code="z">kostenfrei</subfield><subfield code="3">Volltext</subfield></datafield><datafield tag="912" ind1=" " ind2=" "><subfield code="a">GBV_USEFLAG_A</subfield></datafield><datafield tag="912" ind1=" " ind2=" "><subfield code="a">SYSFLAG_A</subfield></datafield><datafield tag="912" ind1=" " ind2=" "><subfield code="a">GBV_SPRINGER</subfield></datafield><datafield tag="912" ind1=" " ind2=" "><subfield code="a">GBV_ILN_11</subfield></datafield><datafield tag="912" ind1=" " ind2=" "><subfield code="a">GBV_ILN_20</subfield></datafield><datafield tag="912" ind1=" " ind2=" "><subfield code="a">GBV_ILN_22</subfield></datafield><datafield tag="912" ind1=" " ind2=" "><subfield code="a">GBV_ILN_23</subfield></datafield><datafield tag="912" ind1=" " ind2=" "><subfield code="a">GBV_ILN_24</subfield></datafield><datafield tag="912" ind1=" " ind2=" "><subfield code="a">GBV_ILN_31</subfield></datafield><datafield tag="912" ind1=" " ind2=" "><subfield code="a">GBV_ILN_39</subfield></datafield><datafield tag="912" ind1=" " ind2=" "><subfield code="a">GBV_ILN_40</subfield></datafield><datafield tag="912" ind1=" " ind2=" "><subfield code="a">GBV_ILN_60</subfield></datafield><datafield tag="912" ind1=" " ind2=" "><subfield code="a">GBV_ILN_62</subfield></datafield><datafield tag="912" ind1=" " ind2=" "><subfield code="a">GBV_ILN_63</subfield></datafield><datafield tag="912" ind1=" " ind2=" "><subfield code="a">GBV_ILN_65</subfield></datafield><datafield tag="912" ind1=" " ind2=" "><subfield code="a">GBV_ILN_69</subfield></datafield><datafield tag="912" ind1=" " ind2=" "><subfield code="a">GBV_ILN_70</subfield></datafield><datafield tag="912" ind1=" " ind2=" "><subfield code="a">GBV_ILN_73</subfield></datafield><datafield tag="912" ind1=" " ind2=" "><subfield code="a">GBV_ILN_95</subfield></datafield><datafield tag="912" ind1=" " ind2=" "><subfield code="a">GBV_ILN_105</subfield></datafield><datafield tag="912" ind1=" " ind2=" "><subfield code="a">GBV_ILN_110</subfield></datafield><datafield tag="912" ind1=" " ind2=" "><subfield code="a">GBV_ILN_151</subfield></datafield><datafield tag="912" ind1=" " ind2=" "><subfield code="a">GBV_ILN_161</subfield></datafield><datafield tag="912" ind1=" " ind2=" "><subfield code="a">GBV_ILN_170</subfield></datafield><datafield tag="912" ind1=" " ind2=" "><subfield code="a">GBV_ILN_213</subfield></datafield><datafield tag="912" ind1=" " ind2=" "><subfield code="a">GBV_ILN_230</subfield></datafield><datafield tag="912" ind1=" " ind2=" "><subfield code="a">GBV_ILN_285</subfield></datafield><datafield tag="912" ind1=" " ind2=" "><subfield code="a">GBV_ILN_293</subfield></datafield><datafield tag="912" ind1=" " ind2=" "><subfield code="a">GBV_ILN_370</subfield></datafield><datafield tag="912" ind1=" " ind2=" "><subfield code="a">GBV_ILN_602</subfield></datafield><datafield tag="912" ind1=" " ind2=" "><subfield code="a">GBV_ILN_2014</subfield></datafield><datafield tag="912" ind1=" " ind2=" "><subfield code="a">GBV_ILN_4012</subfield></datafield><datafield tag="912" ind1=" " ind2=" "><subfield code="a">GBV_ILN_4037</subfield></datafield><datafield tag="912" ind1=" " ind2=" "><subfield code="a">GBV_ILN_4112</subfield></datafield><datafield tag="912" ind1=" " ind2=" "><subfield code="a">GBV_ILN_4125</subfield></datafield><datafield tag="912" ind1=" " ind2=" "><subfield code="a">GBV_ILN_4126</subfield></datafield><datafield tag="912" ind1=" " ind2=" "><subfield code="a">GBV_ILN_4249</subfield></datafield><datafield tag="912" ind1=" " ind2=" "><subfield code="a">GBV_ILN_4305</subfield></datafield><datafield tag="912" ind1=" " ind2=" "><subfield code="a">GBV_ILN_4306</subfield></datafield><datafield tag="912" ind1=" " ind2=" "><subfield code="a">GBV_ILN_4307</subfield></datafield><datafield tag="912" ind1=" " ind2=" "><subfield code="a">GBV_ILN_4313</subfield></datafield><datafield tag="912" ind1=" " ind2=" "><subfield code="a">GBV_ILN_4322</subfield></datafield><datafield tag="912" ind1=" " ind2=" "><subfield code="a">GBV_ILN_4323</subfield></datafield><datafield tag="912" ind1=" " ind2=" "><subfield code="a">GBV_ILN_4324</subfield></datafield><datafield tag="912" ind1=" " ind2=" "><subfield code="a">GBV_ILN_4325</subfield></datafield><datafield tag="912" ind1=" " ind2=" "><subfield code="a">GBV_ILN_4326</subfield></datafield><datafield tag="912" ind1=" " ind2=" "><subfield code="a">GBV_ILN_4335</subfield></datafield><datafield tag="912" ind1=" " ind2=" "><subfield code="a">GBV_ILN_4338</subfield></datafield><datafield tag="912" ind1=" " ind2=" "><subfield code="a">GBV_ILN_4367</subfield></datafield><datafield tag="912" ind1=" " ind2=" "><subfield code="a">GBV_ILN_4700</subfield></datafield><datafield tag="951" ind1=" " ind2=" "><subfield code="a">AR</subfield></datafield><datafield tag="952" ind1=" " ind2=" "><subfield code="d">4</subfield><subfield code="j">2017</subfield><subfield code="e">2</subfield><subfield code="b">01</subfield><subfield code="c">09</subfield><subfield code="h">168-174</subfield></datafield></record></collection>
|
| score |
7.3990517 |