Verfügbarkeit: Testing software and systems

Testing software and systems: 22nd IFIP WG 6.1 International Conference, ICTSS 2010, Natal, Brazil, November 8-10, 2010 ; proceedings

Gespeichert in:

Bibliographische Detailangaben
Format:	Tagungsbericht Buch
Sprache:	English
Veröffentlicht:	Berlin [u.a.] Springer 2010
Schriftenreihe:	Lecture Notes in Computer Science 6435
Schlagworte:	Testmustergenerierung Kommunikationssystem Model Checking Softwaretest Konferenzschrift > 2010 > Natal Rio Grande do Norte
Online-Zugang:	Inhaltstext Inhaltsverzeichnis
Beschreibung:	XII, 265 S. graph. Darst.
ISBN:	9783642165726 3642165729

Internformat

MARC


LEADER	00000nam a2200000 cb4500
001	BV036723587
003	DE-604
005	20120220
007	t\|
008	101018s2010 xx d\|\|\| \|\|\|\| 10\|\|\| eng d
015			\|a 10,N38 \|2 dnb
016	7		\|a 1006975918 \|2 DE-101
020			\|a 9783642165726 \|c Pb. : EUR 64.20 (DE) (freier Pr.), sfr 86.50 (freier Pr.) \|9 978-3-642-16572-6
020			\|a 3642165729 \|c Pb. : EUR 64.20 (DE) (freier Pr.), sfr 86.50 (freier Pr.) \|9 3-642-16572-9
024	3		\|a 9783642165726
028	5	2	\|a Best.-Nr.: 80024649
035			\|a (OCoLC)700302278
035			\|a (DE-599)DNB1006975918
040			\|a DE-604 \|b ger \|e rakddb
041	0		\|a eng
049			\|a DE-706 \|a DE-91G \|a DE-11 \|a DE-83
082	0		\|a 005.14 \|2 22/ger
082	0		\|a 004.24 \|2 22/ger
084			\|a 004 \|2 sdnb
084			\|a DAT 330f \|2 stub
245	1	0	\|a Testing software and systems \|b 22nd IFIP WG 6.1 International Conference, ICTSS 2010, Natal, Brazil, November 8-10, 2010 ; proceedings \|c Alexandre Petrenko ... (eds.)
264		1	\|a Berlin [u.a.] \|b Springer \|c 2010
300			\|a XII, 265 S. \|b graph. Darst.
336			\|b txt \|2 rdacontent
337			\|b n \|2 rdamedia
338			\|b nc \|2 rdacarrier
490	1		\|a Lecture Notes in Computer Science \|v 6435
650	0	7	\|a Testmustergenerierung \|0 (DE-588)4234817-1 \|2 gnd \|9 rswk-swf
650	0	7	\|a Kommunikationssystem \|0 (DE-588)4125542-2 \|2 gnd \|9 rswk-swf
650	0	7	\|a Model Checking \|0 (DE-588)4434799-6 \|2 gnd \|9 rswk-swf
650	0	7	\|a Softwaretest \|0 (DE-588)4132652-0 \|2 gnd \|9 rswk-swf
655		7	\|0 (DE-588)1071861417 \|a Konferenzschrift \|y 2010 \|z Natal Rio Grande do Norte \|2 gnd-content
689	0	0	\|a Softwaretest \|0 (DE-588)4132652-0 \|D s
689	0		\|5 DE-604
689	1	0	\|a Kommunikationssystem \|0 (DE-588)4125542-2 \|D s
689	1	1	\|a Softwaretest \|0 (DE-588)4132652-0 \|D s
689	1	2	\|a Testmustergenerierung \|0 (DE-588)4234817-1 \|D s
689	1	3	\|a Model Checking \|0 (DE-588)4434799-6 \|D s
689	1		\|5 DE-604
700	1		\|a Petrenko, Alexandre \|e Sonstige \|4 oth
711	2		\|a ICTSS \|n 22 \|d 2010 \|c Natal, Rio Grande do Norte \|j Sonstige \|0 (DE-588)16086060-X \|4 oth
830		0	\|a Lecture Notes in Computer Science \|v 6435 \|w (DE-604)BV000000607 \|9 6435
856	4	2	\|m X:MVB \|q text/html \|u http://deposit.dnb.de/cgi-bin/dokserv?id=3537183&prov=M&dok_var=1&dok_ext=htm \|3 Inhaltstext
856	4	2	\|m DNB Datenaustausch \|q application/pdf \|u http://bvbr.bib-bvb.de:8991/F?func=service&doc_library=BVB01&local_base=BVB01&doc_number=020641413&sequence=000001&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA \|3 Inhaltsverzeichnis
943	1		\|a oai:aleph.bib-bvb.de:BVB01-020641413

Datensatz im Suchindex

_version_	1820875272135639040
adam_text	TABLE OF CONTENTS TEST AUTOMATION WITH TTCN-3 - STATE OF THE ART AND A FUTURE PERSPECTIVE (INVITED TALK) 1 INA SCHIEFERDECKER A MODEL-BASED APPROACH TO TESTING SOFTWARE FOR CRITICAL BEHAVIOR AND PROPERTIES (ABSTRACT OF INVITED TALK) 15 CONSTANCE HEITMEYER A PARETO ANT COLONY ALGORITHM APPLIED TO THE CLASS INTEGRATION AND TEST ORDER PROBLEM 16 RAFAEL DA VEIGA CABRAI, AURORA POZO, AND SILVIA REGINA VERGUIO MORE TESTABLE PROPERTIES 30 YLIES FALCONE, JEAN-CLAUDE FERNANDEZ, THIERRY JERON, HERVE MARCHAND, AND LAURENT MOUNIER ALTERNATING SIMULATION AND IOCO 47 MARGUS VEANES AND NIKOLAJ BJ0RNER REDUCING THE COST OF MODEL-BASED TESTING THROUGH TEST CASE DIVERSITY 63 HADI HEMMATI, ANDREA ARCURI, AND LIONEL BRIAND BUILT-IN DATA-FLOW INTEGRATION TESTING IN LARGE-SCALE COMPONENT-BASED SYSTEMS 79 ERIC PIEL, ALBERTO GONZALEZ-SANCHEZ, AND HANS-GERHARD GROSS BLACK-BOX SYSTEM TESTING OF REAL-TIME EMBEDDED SYSTEMS USING RANDOM AND SEARCH-BASED TESTING 95 ANDREA ARCURI, MUHAMMAD ZOHAIB IQBAL, AND LIONEL BRIAND TESTING PRODUCT GENERATION IN SOFTWARE PRODUCT LINES USING PAIRWISE FOR FEATURES COVERAGE ILL BEATRIZ PEREZ LAMANCHA AND MACARIO POLO USAOLA INCREASING FUNCTIONAL COVERAGE BY INDUCTIVE TESTING: A CASE STUDY . 126 NEIL BIBLIOGRAFISCHE INFORMATIONEN HTTP://D-NB.INFO/1006975918 DIGITALISIERT DURCH XII TABLE OF CONTENTS TEST DATA GENERATION FOR PROGRAMS WITH QUANTIFIED FIRST-ORDER LOGIC SPECIFICATIONS 158 CHRISTOPH D. GLADISCH EFFICIENT DISTRIBUTED TEST ARCHITECTURES FOR LARGE-SCALE SYSTEMS 174 EDUARDO CUNHA DE ALMEIDA, JONO EUGENIO MARYNOWSKI, GERSON SUNYE, YVES LE TRAON, AND PATRICK VALDURIEZ GENERATING MODELS OF INFINITE-STATE COMMUNICATION PROTOCOLS USING REGULAR INFERENCE WITH ABSTRACTION 188 FIDES AARTS, BENGT JONSSON, AND JOHAN UIJEN PRACTICAL END-TO-END PERFORMANCE TESTING TOOL FOR HIGH SPEED 3G-BASED NETWORKS 205 HIROYUKI SHINBO, ATSUSHI TAGAMI, SHIGEHIRO ANO, TORU HASEGAWA, AND KENJI SUZUKI A LEARNING-BASED APPROACH TO UNIT TESTING OF NUMERICAL SOFTWARE . 221 KARL MEINKE AND FEI NIU FROM SCENARIOS TO TEST IMPLEMENTATIONS VIA PROMELA 236 ANDREAS ULRICH, EL-HACHEMI ALIKACEM, HESHAM H. HALLAL, AND SERGIY BORODAY VIDOCK: A TOOL FOR IMPACT ANALYSIS OF ASPECT WEAVING ON TEST CASES 250 ROMAIN DELAMARE, FREDDY MUNOZ, BENOIT BAUDRY, AND YVES LE TRAON AUTHOR INDEX 267
any_adam_object	1
building	Verbundindex
bvnumber	BV036723587
classification_rvk	SS 4800
classification_tum	DAT 330f
ctrlnum	(OCoLC)700302278 (DE-599)DNB1006975918
dewey-full	005.14 004.24
dewey-hundreds	000 - Computer science, information, general works
dewey-ones	005 - Computer programming, programs, data, security 004 - Computer science
dewey-raw	005.14 004.24
dewey-search	005.14 004.24
dewey-sort	15.14
dewey-tens	000 - Computer science, information, general works
discipline	Informatik
format	Conference Proceeding Book
fullrecord	<?xml version="1.0" encoding="UTF-8"?><collection xmlns="http://www.loc.gov/MARC21/slim"><record><leader>00000nam a2200000 cb4500</leader><controlfield tag="001">BV036723587</controlfield><controlfield tag="003">DE-604</controlfield><controlfield tag="005">20120220</controlfield><controlfield tag="007">t\|</controlfield><controlfield tag="008">101018s2010 xx d\|\|\| \|\|\|\| 10\|\|\| eng d</controlfield><datafield tag="015" ind1=" " ind2=" "><subfield code="a">10,N38</subfield><subfield code="2">dnb</subfield></datafield><datafield tag="016" ind1="7" ind2=" "><subfield code="a">1006975918</subfield><subfield code="2">DE-101</subfield></datafield><datafield tag="020" ind1=" " ind2=" "><subfield code="a">9783642165726</subfield><subfield code="c">Pb. : EUR 64.20 (DE) (freier Pr.), sfr 86.50 (freier Pr.)</subfield><subfield code="9">978-3-642-16572-6</subfield></datafield><datafield tag="020" ind1=" " ind2=" "><subfield code="a">3642165729</subfield><subfield code="c">Pb. : EUR 64.20 (DE) (freier Pr.), sfr 86.50 (freier Pr.)</subfield><subfield code="9">3-642-16572-9</subfield></datafield><datafield tag="024" ind1="3" ind2=" "><subfield code="a">9783642165726</subfield></datafield><datafield tag="028" ind1="5" ind2="2"><subfield code="a">Best.-Nr.: 80024649</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(OCoLC)700302278</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(DE-599)DNB1006975918</subfield></datafield><datafield tag="040" ind1=" " ind2=" "><subfield code="a">DE-604</subfield><subfield code="b">ger</subfield><subfield code="e">rakddb</subfield></datafield><datafield tag="041" ind1="0" ind2=" "><subfield code="a">eng</subfield></datafield><datafield tag="049" ind1=" " ind2=" "><subfield code="a">DE-706</subfield><subfield code="a">DE-91G</subfield><subfield code="a">DE-11</subfield><subfield code="a">DE-83</subfield></datafield><datafield tag="082" ind1="0" ind2=" "><subfield code="a">005.14</subfield><subfield code="2">22/ger</subfield></datafield><datafield tag="082" ind1="0" ind2=" "><subfield code="a">004.24</subfield><subfield code="2">22/ger</subfield></datafield><datafield tag="084" ind1=" " ind2=" "><subfield code="a">004</subfield><subfield code="2">sdnb</subfield></datafield><datafield tag="084" ind1=" " ind2=" "><subfield code="a">DAT 330f</subfield><subfield code="2">stub</subfield></datafield><datafield tag="245" ind1="1" ind2="0"><subfield code="a">Testing software and systems</subfield><subfield code="b">22nd IFIP WG 6.1 International Conference, ICTSS 2010, Natal, Brazil, November 8-10, 2010 ; proceedings</subfield><subfield code="c">Alexandre Petrenko ... (eds.)</subfield></datafield><datafield tag="264" ind1=" " ind2="1"><subfield code="a">Berlin [u.a.]</subfield><subfield code="b">Springer</subfield><subfield code="c">2010</subfield></datafield><datafield tag="300" ind1=" " ind2=" "><subfield code="a">XII, 265 S.</subfield><subfield code="b">graph. Darst.</subfield></datafield><datafield tag="336" ind1=" " ind2=" "><subfield code="b">txt</subfield><subfield code="2">rdacontent</subfield></datafield><datafield tag="337" ind1=" " ind2=" "><subfield code="b">n</subfield><subfield code="2">rdamedia</subfield></datafield><datafield tag="338" ind1=" " ind2=" "><subfield code="b">nc</subfield><subfield code="2">rdacarrier</subfield></datafield><datafield tag="490" ind1="1" ind2=" "><subfield code="a">Lecture Notes in Computer Science</subfield><subfield code="v">6435</subfield></datafield><datafield tag="650" ind1="0" ind2="7"><subfield code="a">Testmustergenerierung</subfield><subfield code="0">(DE-588)4234817-1</subfield><subfield code="2">gnd</subfield><subfield code="9">rswk-swf</subfield></datafield><datafield tag="650" ind1="0" ind2="7"><subfield code="a">Kommunikationssystem</subfield><subfield code="0">(DE-588)4125542-2</subfield><subfield code="2">gnd</subfield><subfield code="9">rswk-swf</subfield></datafield><datafield tag="650" ind1="0" ind2="7"><subfield code="a">Model Checking</subfield><subfield code="0">(DE-588)4434799-6</subfield><subfield code="2">gnd</subfield><subfield code="9">rswk-swf</subfield></datafield><datafield tag="650" ind1="0" ind2="7"><subfield code="a">Softwaretest</subfield><subfield code="0">(DE-588)4132652-0</subfield><subfield code="2">gnd</subfield><subfield code="9">rswk-swf</subfield></datafield><datafield tag="655" ind1=" " ind2="7"><subfield code="0">(DE-588)1071861417</subfield><subfield code="a">Konferenzschrift</subfield><subfield code="y">2010</subfield><subfield code="z">Natal Rio Grande do Norte</subfield><subfield code="2">gnd-content</subfield></datafield><datafield tag="689" ind1="0" ind2="0"><subfield code="a">Softwaretest</subfield><subfield code="0">(DE-588)4132652-0</subfield><subfield code="D">s</subfield></datafield><datafield tag="689" ind1="0" ind2=" "><subfield code="5">DE-604</subfield></datafield><datafield tag="689" ind1="1" ind2="0"><subfield code="a">Kommunikationssystem</subfield><subfield code="0">(DE-588)4125542-2</subfield><subfield code="D">s</subfield></datafield><datafield tag="689" ind1="1" ind2="1"><subfield code="a">Softwaretest</subfield><subfield code="0">(DE-588)4132652-0</subfield><subfield code="D">s</subfield></datafield><datafield tag="689" ind1="1" ind2="2"><subfield code="a">Testmustergenerierung</subfield><subfield code="0">(DE-588)4234817-1</subfield><subfield code="D">s</subfield></datafield><datafield tag="689" ind1="1" ind2="3"><subfield code="a">Model Checking</subfield><subfield code="0">(DE-588)4434799-6</subfield><subfield code="D">s</subfield></datafield><datafield tag="689" ind1="1" ind2=" "><subfield code="5">DE-604</subfield></datafield><datafield tag="700" ind1="1" ind2=" "><subfield code="a">Petrenko, Alexandre</subfield><subfield code="e">Sonstige</subfield><subfield code="4">oth</subfield></datafield><datafield tag="711" ind1="2" ind2=" "><subfield code="a">ICTSS</subfield><subfield code="n">22</subfield><subfield code="d">2010</subfield><subfield code="c">Natal, Rio Grande do Norte</subfield><subfield code="j">Sonstige</subfield><subfield code="0">(DE-588)16086060-X</subfield><subfield code="4">oth</subfield></datafield><datafield tag="830" ind1=" " ind2="0"><subfield code="a">Lecture Notes in Computer Science</subfield><subfield code="v">6435</subfield><subfield code="w">(DE-604)BV000000607</subfield><subfield code="9">6435</subfield></datafield><datafield tag="856" ind1="4" ind2="2"><subfield code="m">X:MVB</subfield><subfield code="q">text/html</subfield><subfield code="u">http://deposit.dnb.de/cgi-bin/dokserv?id=3537183&prov=M&dok_var=1&dok_ext=htm</subfield><subfield code="3">Inhaltstext</subfield></datafield><datafield tag="856" ind1="4" ind2="2"><subfield code="m">DNB Datenaustausch</subfield><subfield code="q">application/pdf</subfield><subfield code="u">http://bvbr.bib-bvb.de:8991/F?func=service&doc_library=BVB01&local_base=BVB01&doc_number=020641413&sequence=000001&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA</subfield><subfield code="3">Inhaltsverzeichnis</subfield></datafield><datafield tag="943" ind1="1" ind2=" "><subfield code="a">oai:aleph.bib-bvb.de:BVB01-020641413</subfield></datafield></record></collection>
genre	(DE-588)1071861417 Konferenzschrift 2010 Natal Rio Grande do Norte gnd-content
genre_facet	Konferenzschrift 2010 Natal Rio Grande do Norte
id	DE-604.BV036723587
illustrated	Illustrated
indexdate	2025-01-10T15:13:00Z
institution	BVB
institution_GND	(DE-588)16086060-X
isbn	9783642165726 3642165729
language	English
oai_aleph_id	oai:aleph.bib-bvb.de:BVB01-020641413
oclc_num	700302278
open_access_boolean
owner	DE-706 DE-91G DE-BY-TUM DE-11 DE-83
owner_facet	DE-706 DE-91G DE-BY-TUM DE-11 DE-83
physical	XII, 265 S. graph. Darst.
publishDate	2010
publishDateSearch	2010
publishDateSort	2010
publisher	Springer
record_format	marc
series	Lecture Notes in Computer Science
series2	Lecture Notes in Computer Science
spelling	Testing software and systems 22nd IFIP WG 6.1 International Conference, ICTSS 2010, Natal, Brazil, November 8-10, 2010 ; proceedings Alexandre Petrenko ... (eds.) Berlin [u.a.] Springer 2010 XII, 265 S. graph. Darst. txt rdacontent n rdamedia nc rdacarrier Lecture Notes in Computer Science 6435 Testmustergenerierung (DE-588)4234817-1 gnd rswk-swf Kommunikationssystem (DE-588)4125542-2 gnd rswk-swf Model Checking (DE-588)4434799-6 gnd rswk-swf Softwaretest (DE-588)4132652-0 gnd rswk-swf (DE-588)1071861417 Konferenzschrift 2010 Natal Rio Grande do Norte gnd-content Softwaretest (DE-588)4132652-0 s DE-604 Kommunikationssystem (DE-588)4125542-2 s Testmustergenerierung (DE-588)4234817-1 s Model Checking (DE-588)4434799-6 s Petrenko, Alexandre Sonstige oth ICTSS 22 2010 Natal, Rio Grande do Norte Sonstige (DE-588)16086060-X oth Lecture Notes in Computer Science 6435 (DE-604)BV000000607 6435 X:MVB text/html http://deposit.dnb.de/cgi-bin/dokserv?id=3537183&prov=M&dok_var=1&dok_ext=htm Inhaltstext DNB Datenaustausch application/pdf http://bvbr.bib-bvb.de:8991/F?func=service&doc_library=BVB01&local_base=BVB01&doc_number=020641413&sequence=000001&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA Inhaltsverzeichnis
spellingShingle	Testing software and systems 22nd IFIP WG 6.1 International Conference, ICTSS 2010, Natal, Brazil, November 8-10, 2010 ; proceedings Lecture Notes in Computer Science Testmustergenerierung (DE-588)4234817-1 gnd Kommunikationssystem (DE-588)4125542-2 gnd Model Checking (DE-588)4434799-6 gnd Softwaretest (DE-588)4132652-0 gnd
subject_GND	(DE-588)4234817-1 (DE-588)4125542-2 (DE-588)4434799-6 (DE-588)4132652-0 (DE-588)1071861417
title	Testing software and systems 22nd IFIP WG 6.1 International Conference, ICTSS 2010, Natal, Brazil, November 8-10, 2010 ; proceedings
title_auth	Testing software and systems 22nd IFIP WG 6.1 International Conference, ICTSS 2010, Natal, Brazil, November 8-10, 2010 ; proceedings
title_exact_search	Testing software and systems 22nd IFIP WG 6.1 International Conference, ICTSS 2010, Natal, Brazil, November 8-10, 2010 ; proceedings
title_full	Testing software and systems 22nd IFIP WG 6.1 International Conference, ICTSS 2010, Natal, Brazil, November 8-10, 2010 ; proceedings Alexandre Petrenko ... (eds.)
title_fullStr	Testing software and systems 22nd IFIP WG 6.1 International Conference, ICTSS 2010, Natal, Brazil, November 8-10, 2010 ; proceedings Alexandre Petrenko ... (eds.)
title_full_unstemmed	Testing software and systems 22nd IFIP WG 6.1 International Conference, ICTSS 2010, Natal, Brazil, November 8-10, 2010 ; proceedings Alexandre Petrenko ... (eds.)
title_short	Testing software and systems
title_sort	testing software and systems 22nd ifip wg 6 1 international conference ictss 2010 natal brazil november 8 10 2010 proceedings
title_sub	22nd IFIP WG 6.1 International Conference, ICTSS 2010, Natal, Brazil, November 8-10, 2010 ; proceedings
topic	Testmustergenerierung (DE-588)4234817-1 gnd Kommunikationssystem (DE-588)4125542-2 gnd Model Checking (DE-588)4434799-6 gnd Softwaretest (DE-588)4132652-0 gnd
topic_facet	Testmustergenerierung Kommunikationssystem Model Checking Softwaretest Konferenzschrift 2010 Natal Rio Grande do Norte
url	http://deposit.dnb.de/cgi-bin/dokserv?id=3537183&prov=M&dok_var=1&dok_ext=htm http://bvbr.bib-bvb.de:8991/F?func=service&doc_library=BVB01&local_base=BVB01&doc_number=020641413&sequence=000001&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA
volume_link	(DE-604)BV000000607
work_keys_str_mv	AT petrenkoalexandre testingsoftwareandsystems22ndifipwg61internationalconferenceictss2010natalbrazilnovember8102010proceedings AT ictssnatalriograndedonorte testingsoftwareandsystems22ndifipwg61internationalconferenceictss2010natalbrazilnovember8102010proceedings

Verfügbarkeit

Es ist kein Print-Exemplar vorhanden.

Fernleihe Bestellen Achtung: Nicht im THWS-Bestand! Beschreibung

MARC

Datensatz im Suchindex

Es ist kein Print-Exemplar vorhanden.

Ähnliche Einträge