content: /*
   * This file was automatically generated by EvoSuite
   */
  
  package com.lts.swing;
  
  import org.junit.Test;
  import org.junit.runner.RunWith;
  import org.evosuite.junit.EvoSuiteRunner;
  import static org.junit.Assert.*;
  import com.lts.swing.StringTableModel;
  import java.util.Vector;
  import javax.swing.JTable;
  import javax.swing.table.DefaultTableModel;
  import javax.swing.table.TableModel;
  import org.junit.BeforeClass;
  
  @RunWith(EvoSuiteRunner.class)
  public class StringTableModelEvoSuiteTest {
  
    @BeforeClass 
    public static void initEvoSuiteFramework(){ 
      org.evosuite.Properties.REPLACE_CALLS = true; 
    } 
  
  
    @Test
    public void test0()  throws Throwable  {
        String[][] stringArray0 = new String[8][1];
        StringTableModel stringTableModel0 = new StringTableModel(stringArray0);
        JTable jTable0 = null;
        try {
          jTable0 = new JTable((TableModel) stringTableModel0);
          fail("Expecting exception: NullPointerException");
        } catch(NullPointerException e) {
        }
    }
  
    @Test
    public void test1()  throws Throwable  {
        StringTableModel stringTableModel0 = new StringTableModel();
        // Undeclared exception!
        try {
          stringTableModel0.getValueAt((-1469), (-457));
          fail("Expecting exception: NullPointerException");
        } catch(NullPointerException e) {
        }
    }
  
    @Test
    public void test2()  throws Throwable  {
        String[][] stringArray0 = new String[8][5];
        StringTableModel stringTableModel0 = new StringTableModel(stringArray0);
        int int0 = stringTableModel0.getRowCount();
        assertEquals(8, int0);
    }
  
    @Test
    public void test3()  throws Throwable  {
        String[][] stringArray0 = new String[8][5];
        StringTableModel stringTableModel0 = new StringTableModel(stringArray0);
        Vector<Object> vector0 = new Vector<Object>();
        DefaultTableModel defaultTableModel0 = new DefaultTableModel((Vector) vector0, 384);
        Vector<Object> vector1 = defaultTableModel0.getDataVector();
        // Undeclared exception!
        try {
          stringTableModel0.setColumnNames(vector1);
          fail("Expecting exception: ClassCastException");
        } catch(ClassCastException e) {
          /*
           * java.util.Vector cannot be cast to java.lang.String
           */
        }
    }
  
    @Test
    public void test4()  throws Throwable  {
        DefaultTableModel defaultTableModel0 = new DefaultTableModel(10, 40);
        Vector<Object> vector0 = defaultTableModel0.getDataVector();
        StringTableModel stringTableModel0 = new StringTableModel(vector0);
        assertEquals(40, stringTableModel0.getColumnCount());
        assertEquals(9, stringTableModel0.getRowCount());
        assertNotNull(stringTableModel0);
    }
  }
  